Your selections:

46Miller, Mirka
22Morris, Sidney
17Kruger, Alexander
15Sugeng, Kiki Ariyanti
14Lin, Yuqing
13Baca, Martin
13Rubinov, Alex
13Ryan, Joe
12Pineda-Villavicencio, Guillermo
11Hofmann, Karl
9Kelarev, Andrei
8Outrata, Jiri
7Gabriyelyan, Saak
7Mammadov, Musa
6Balbuena, Camino
6Yearwood, John
6Yost, David
5Abawajy, Jemal
5Baskoro, Edy
5López, Marco

Show More

Show Less

210102 Applied Mathematics
12Graph theory
110802 Computation Theory and Mathematics
11Mathematics
8Antimagic labeling
6Data mining
6Variational analysis
50103 Numerical and Computational Mathematics
5Metric regularity
5Moore bound
5Normal cone
5Number theory
40906 Electrical and Electronic Engineering
4Connectivity
4Degree/diameter problem
4Lie group
4Numerical methods
4Problem solving
4Slope

Show More

Show Less

Format Type

A topological group observation on the Banach-Mazur separable quotient problem

- Gabriyelyan, Saak, Morris, Sidney

**Authors:**Gabriyelyan, Saak , Morris, Sidney**Date:**2019**Type:**Text , Journal article**Relation:**Topology and Its Applications Vol. 259, no. (2019), p. 283-286**Full Text:****Reviewed:****Description:**The Separable Quotient Problem of Banach and Mazur asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space. It has remained unsolved for 85 years but has been answered in the affirmative for special cases such as reflexive Banach spaces. An affirmative answer to the Separable Quotient Problem would obviously imply that every infinite-dimensional Banach space has a quotient topological group which is separable, metrizable, and infinite-dimensional in the sense of topology. In this paper it is proved that every infinite-dimensional Banach space has as a quotient group the separable metrizable infinite-dimensional topological group, T

**Authors:**Gabriyelyan, Saak , Morris, Sidney**Date:**2019**Type:**Text , Journal article**Relation:**Topology and Its Applications Vol. 259, no. (2019), p. 283-286**Full Text:****Reviewed:****Description:**The Separable Quotient Problem of Banach and Mazur asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space. It has remained unsolved for 85 years but has been answered in the affirmative for special cases such as reflexive Banach spaces. An affirmative answer to the Separable Quotient Problem would obviously imply that every infinite-dimensional Banach space has a quotient topological group which is separable, metrizable, and infinite-dimensional in the sense of topology. In this paper it is proved that every infinite-dimensional Banach space has as a quotient group the separable metrizable infinite-dimensional topological group, T

Embedding of the free abelian topological group A (X ⊕ X) into A (X)

- Krupski, Mikolaj, Leiderman, Arkady, Morris, Sidney

**Authors:**Krupski, Mikolaj , Leiderman, Arkady , Morris, Sidney**Date:**2019**Type:**Text , Journal article**Relation:**Mathematika Vol. 65, no. 3 (2019), p. 708-718**Full Text:**false**Reviewed:****Description:**We consider the following question: for which metrizable separable spaces X does the free abelian topological group A (X ⊕ X) isomorphically embed into A (X). While for many natural spaces X such an embedding exists, our main result shows that if X is a Cook continuum or X is a rigid Bernstein set, then A(X ⊕ X) does not embed into A(X) as a topological subgroup. The analogous statement is true for the free boolean group B (X).**Description:**We consider the following question: for which metrizable separable spaces X does the free abelian topological group A (X

Lower bound theorems for general polytopes

- Pineda-Villavicencio, Guillermo, Ugon, Julien, Yost, David

**Authors:**Pineda-Villavicencio, Guillermo , Ugon, Julien , Yost, David**Date:**2019**Type:**Text , Journal article**Relation:**European Journal of Combinatorics Vol. 79, no. (2019), p. 27-45**Full Text:****Reviewed:****Description:**For a d-dimensional polytope with v vertices, d + 1 <= v <= 2d, we calculate precisely the minimum possible number of m-dimensional faces, when m = 1 or m >= 0.62d. This confirms a conjecture of Grunbaum, for these values of m. For v = 2d + 1, we solve the same problem when m = 1 or d - 2; the solution was already known for m = d - 1. In all these cases, we give a characterisation of the minimising polytopes. We also show that there are many gaps in the possible number of m-faces: for example, there is no polytope with 80 edges in dimension 10, and a polytope with 407 edges can have dimension at most 23.

**Authors:**Pineda-Villavicencio, Guillermo , Ugon, Julien , Yost, David**Date:**2019**Type:**Text , Journal article**Relation:**European Journal of Combinatorics Vol. 79, no. (2019), p. 27-45**Full Text:****Reviewed:****Description:**For a d-dimensional polytope with v vertices, d + 1 <= v <= 2d, we calculate precisely the minimum possible number of m-dimensional faces, when m = 1 or m >= 0.62d. This confirms a conjecture of Grunbaum, for these values of m. For v = 2d + 1, we solve the same problem when m = 1 or d - 2; the solution was already known for m = d - 1. In all these cases, we give a characterisation of the minimising polytopes. We also show that there are many gaps in the possible number of m-faces: for example, there is no polytope with 80 edges in dimension 10, and a polytope with 407 edges can have dimension at most 23.

- Cibulka, Radek, Fabian, Marian, Kruger, Alexander

**Authors:**Cibulka, Radek , Fabian, Marian , Kruger, Alexander**Date:**2019**Type:**Text , Journal article**Relation:**Journal of Mathematical Analysis and Applications Vol. 473, no. 2 (2019), p. 811-836**Full Text:**false**Reviewed:****Description:**There are two basic ways of weakening the definition of the well-known metric regularity property by fixing one of the points involved in the definition. The first resulting property is called metric subregularity and has attracted a lot of attention during the last decades. On the other hand, the latter property which we call semiregularity can be found under several names and the corresponding results are scattered in the literature. We provide a self-contained material gathering and extending the existing theory on the topic. We demonstrate a clear relationship with other regularity properties, for example, the equivalence with the so-called openness with a linear rate at the reference point is shown. In particular cases, we derive necessary and/or sufficient conditions of both primal and dual type. We illustrate the importance of semiregularity in the convergence analysis of an inexact Newton-type scheme for generalized equations with not necessarily differentiable single-valued part. © 2019 Elsevier Inc.

On the reconstruction of polytopes

- Doolittle, Joseph, Nevo, Eran, Pineda-Villavicencio, Guillermo, Ugon, Julien, Yost, David

**Authors:**Doolittle, Joseph , Nevo, Eran , Pineda-Villavicencio, Guillermo , Ugon, Julien , Yost, David**Date:**2019**Type:**Text , Journal article**Relation:**Discrete and Computational Geometry Vol. 61, no. 2 (2019), p. 285-302**Full Text:****Reviewed:****Description:**Blind and Mani, and later Kalai, showed that the face lattice of a simple polytope is determined by its graph, namely its 1-skeleton. Call a vertex of a d-polytope nonsimple if the number of edges incident to it is more than d. We show that (1) the face lattice of any d-polytope with at most two nonsimple vertices is determined by its 1-skeleton; (2) the face lattice of any d-polytope with at most d- 2 nonsimple vertices is determined by its 2-skeleton; and (3) for any d> 3 there are two d-polytopes with d- 1 nonsimple vertices, isomorphic (d- 3) -skeleta and nonisomorphic face lattices. In particular, the result (1) is best possible for 4-polytopes. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.

**Authors:**Doolittle, Joseph , Nevo, Eran , Pineda-Villavicencio, Guillermo , Ugon, Julien , Yost, David**Date:**2019**Type:**Text , Journal article**Relation:**Discrete and Computational Geometry Vol. 61, no. 2 (2019), p. 285-302**Full Text:****Reviewed:****Description:**Blind and Mani, and later Kalai, showed that the face lattice of a simple polytope is determined by its graph, namely its 1-skeleton. Call a vertex of a d-polytope nonsimple if the number of edges incident to it is more than d. We show that (1) the face lattice of any d-polytope with at most two nonsimple vertices is determined by its 1-skeleton; (2) the face lattice of any d-polytope with at most d- 2 nonsimple vertices is determined by its 2-skeleton; and (3) for any d> 3 there are two d-polytopes with d- 1 nonsimple vertices, isomorphic (d- 3) -skeleta and nonisomorphic face lattices. In particular, the result (1) is best possible for 4-polytopes. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.

About intrinsic transversality of pairs of sets

**Authors:**Kruger, Alexander**Date:**2018**Type:**Text , Journal article**Relation:**Set-Valued and Variational Analysis Vol. 26, no. 1 (2018), p. 111-142**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**The article continues the study of the ‘regular’ arrangement of a collection of sets near a point in their intersection. Such regular intersection or, in other words, transversality properties are crucial for the validity of qualification conditions in optimization as well as subdifferential, normal cone and coderivative calculus, and convergence analysis of computational algorithms. One of the main motivations for the development of the transversality theory of collections of sets comes from the convergence analysis of alternating projections for solving feasibility problems. This article targets infinite dimensional extensions of the intrinsic transversality property introduced recently by Drusvyatskiy, Ioffe and Lewis as a sufficient condition for local linear convergence of alternating projections. Several characterizations of this property are established involving new limiting objects defined for pairs of sets. Special attention is given to the convex case.

**Authors:**Kruger, Alexander**Date:**2018**Type:**Text , Journal article**Relation:**Set-Valued and Variational Analysis Vol. 26, no. 1 (2018), p. 111-142**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**The article continues the study of the ‘regular’ arrangement of a collection of sets near a point in their intersection. Such regular intersection or, in other words, transversality properties are crucial for the validity of qualification conditions in optimization as well as subdifferential, normal cone and coderivative calculus, and convergence analysis of computational algorithms. One of the main motivations for the development of the transversality theory of collections of sets comes from the convergence analysis of alternating projections for solving feasibility problems. This article targets infinite dimensional extensions of the intrinsic transversality property introduced recently by Drusvyatskiy, Ioffe and Lewis as a sufficient condition for local linear convergence of alternating projections. Several characterizations of this property are established involving new limiting objects defined for pairs of sets. Special attention is given to the convex case.

Embedding into free topological vector spaces on compact metrizable spaces

- Gabriyelyan, Saak, Morris, Sidney

**Authors:**Gabriyelyan, Saak , Morris, Sidney**Date:**2018**Type:**Text , Journal article**Relation:**Topology and its Applications Vol. 233, no. (2018), p. 33-43**Full Text:**false**Reviewed:****Description:**For a Tychonoff space X, let V(X) be the free topological vector space over X. Denote by I, G, Q and Sk the closed unit interval, the Cantor space, the Hilbert cube Q=IN and the k-dimensional unit sphere for k

On modeling and complete solutions to general fixpoint problems in multi-scale systems with applications

**Authors:**Ruan, Ning , Gao, David**Date:**2018**Type:**Text , Journal article**Relation:**Fixed Point Theory and Applications Vol. 2018, no. 1 (2018), p. 1-19**Full Text:****Reviewed:****Description:**This paper revisits the well-studied fixed point problem from a unified viewpoint of mathematical modeling and canonical duality theory, i.e., the general fixed point problem is first reformulated as a nonconvex optimization problem, its well-posedness is discussed based on the objectivity principle in continuum physics; then the canonical duality theory is applied for solving this challenging problem to obtain not only all fixed points, but also their stability properties. Applications are illustrated by problems governed by nonconvex polynomial, exponential, and logarithmic operators. This paper shows that within the framework of the canonical duality theory, there is no difference between the fixed point problems and nonconvex analysis/optimization in multidisciplinary studies.

**Authors:**Ruan, Ning , Gao, David**Date:**2018**Type:**Text , Journal article**Relation:**Fixed Point Theory and Applications Vol. 2018, no. 1 (2018), p. 1-19**Full Text:****Reviewed:****Description:**This paper revisits the well-studied fixed point problem from a unified viewpoint of mathematical modeling and canonical duality theory, i.e., the general fixed point problem is first reformulated as a nonconvex optimization problem, its well-posedness is discussed based on the objectivity principle in continuum physics; then the canonical duality theory is applied for solving this challenging problem to obtain not only all fixed points, but also their stability properties. Applications are illustrated by problems governed by nonconvex polynomial, exponential, and logarithmic operators. This paper shows that within the framework of the canonical duality theory, there is no difference between the fixed point problems and nonconvex analysis/optimization in multidisciplinary studies.

On SPD method for solving canonical dual problem in post buckling of large deformed elastic beam

**Authors:**Ali, Elaf , Gao, David**Date:**2018**Type:**Text , Journal article**Relation:**Communications in Mathematical Sciences Vol. 16, no. 5 (2018), p. 1225-1240**Full Text:****Reviewed:****Description:**This paper presents a new methodology and algorithm for solving post buckling problems of a large deformed elastic beam. The total potential energy of this beam is a nonconvex functional, which can be used to model both pre- and post-buckling phenomena. By using a canonical dual finite element method, a new primal-dual semi-definite programming (PD-SDP) algorithm is presented, which can be used to obtain all possible post-buckled solutions. Applications are illustrated by several numerical examples with different boundary conditions. We find that the global minimum solution of the nonconvex potential leads to a stable configuration of the buckled beam, the local maximum solution leads to the unbuckled state, and both of these two solutions are numerically stable. However, the local minimum solution leads to an unstable buckled state, which is very sensitive to axial compressive forces, thickness of beam, numerical precision, and the size of finite elements. The method and algorithm proposed in this paper can be used for solving general nonconvex variational problems in engineering and sciences.

**Authors:**Ali, Elaf , Gao, David**Date:**2018**Type:**Text , Journal article**Relation:**Communications in Mathematical Sciences Vol. 16, no. 5 (2018), p. 1225-1240**Full Text:****Reviewed:****Description:**This paper presents a new methodology and algorithm for solving post buckling problems of a large deformed elastic beam. The total potential energy of this beam is a nonconvex functional, which can be used to model both pre- and post-buckling phenomena. By using a canonical dual finite element method, a new primal-dual semi-definite programming (PD-SDP) algorithm is presented, which can be used to obtain all possible post-buckled solutions. Applications are illustrated by several numerical examples with different boundary conditions. We find that the global minimum solution of the nonconvex potential leads to a stable configuration of the buckled beam, the local maximum solution leads to the unbuckled state, and both of these two solutions are numerically stable. However, the local minimum solution leads to an unstable buckled state, which is very sensitive to axial compressive forces, thickness of beam, numerical precision, and the size of finite elements. The method and algorithm proposed in this paper can be used for solving general nonconvex variational problems in engineering and sciences.

Subspaces of the free topological vector space on the unit interval

- Gabriyelyan, Saak, Morris, Sidney

**Authors:**Gabriyelyan, Saak , Morris, Sidney**Date:**2018**Type:**Text , Journal article**Relation:**Bulletin of the Australian Mathematical Society Vol. 97, no. 1 (2018), p. 110-118**Full Text:**false**Reviewed:****Description:**For a Tychonoff space X, let V(X) be the free topological vector space over X, A(X) the free abelian topological group over X and I the unit interval with its usual topology. It is proved here that if X is a subspace of I, then the following are equivalent: V(X) can be embedded in V(I) as a topological vector subspace; A(X) can be embedded in A(I) as a topological subgroup; X is locally compact. © 2017 Australian Mathematical Publishing Association Inc..

The excess degree of a polytope

- Pineda-Villavicencio, Guillermo, Ugon, Julien, Yost, David

**Authors:**Pineda-Villavicencio, Guillermo , Ugon, Julien , Yost, David**Date:**2018**Type:**Text , Journal article**Relation:**SIAM Journal on Discrete Mathematics Vol. 32, no. 3 (2018), p. 2011-2046**Full Text:****Reviewed:****Description:**We define the excess degree \xi (P) of a d-polytope P as 2f1 - df0, where f0 and f1 denote the number of vertices and edges, respectively. This parameter measures how much P deviates from being simple. It turns out that the excess degree of a d-polytope does not take every natural number: the smallest possible values are 0 and d - 2, and the value d - 1 only occurs when d = 3 or 5. On the other hand, for fixed d, the number of values not taken by the excess degree is finite if d is odd, and the number of even values not taken by the excess degree is finite if d is even. The excess degree is then applied in three different settings. First, it is used to show that polytopes with small excess (i.e., \xi (P) < d) have a very particular structure: provided d \not = 5, either there is a unique nonsimple vertex, or every nonsimple vertex has degree d + 1. This implies that such polytopes behave in a similar manner to simple polytopes in terms of Minkowski decomposability: they are either decomposable or pyramidal, and their duals are always indecomposable. Second, we characterize completely the decomposable d-polytopes with 2d + 1 vertices (up to combinatorial equivalence). Third, all pairs (f0, f1), for which there exists a 5-polytope with f0 vertices and f1 edges, are determined.

**Authors:**Pineda-Villavicencio, Guillermo , Ugon, Julien , Yost, David**Date:**2018**Type:**Text , Journal article**Relation:**SIAM Journal on Discrete Mathematics Vol. 32, no. 3 (2018), p. 2011-2046**Full Text:****Reviewed:****Description:**We define the excess degree \xi (P) of a d-polytope P as 2f1 - df0, where f0 and f1 denote the number of vertices and edges, respectively. This parameter measures how much P deviates from being simple. It turns out that the excess degree of a d-polytope does not take every natural number: the smallest possible values are 0 and d - 2, and the value d - 1 only occurs when d = 3 or 5. On the other hand, for fixed d, the number of values not taken by the excess degree is finite if d is odd, and the number of even values not taken by the excess degree is finite if d is even. The excess degree is then applied in three different settings. First, it is used to show that polytopes with small excess (i.e., \xi (P) < d) have a very particular structure: provided d \not = 5, either there is a unique nonsimple vertex, or every nonsimple vertex has degree d + 1. This implies that such polytopes behave in a similar manner to simple polytopes in terms of Minkowski decomposability: they are either decomposable or pyramidal, and their duals are always indecomposable. Second, we characterize completely the decomposable d-polytopes with 2d + 1 vertices (up to combinatorial equivalence). Third, all pairs (f0, f1), for which there exists a 5-polytope with f0 vertices and f1 edges, are determined.

Valadier-like formulas for the supremum function I

- Correa, Rafael, Hantoute, Abderrahim, López, Marco

**Authors:**Correa, Rafael , Hantoute, Abderrahim , López, Marco**Date:**2018**Type:**Text , Journal article**Relation:**Journal of Convex Analysis Vol. 25, no. 4 (2018), p. 1253-1278**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:**false**Reviewed:****Description:**We generalize and improve the original characterization given by Valadier [19, Theorem 1] of the subdifferential of the pointwise supremum of convex functions, involving the subdifferentials of the data functions at nearby points. We remove the continuity assumption made in that work and obtain a general formula for such a subdifferential. In particular, when the supremum is continuous at some point of its domain, but not necessarily at the reference point, we get a simpler version which gives rise to the Valadier formula. Our starting result is the characterization given in [11, Theorem 4], which uses the e-subdifferential at the reference point.

About subtransversality of collections of sets

- Kruger, Alexander, Luke, Russell, Thao, Nguyen

**Authors:**Kruger, Alexander , Luke, Russell , Thao, Nguyen**Date:**2017**Type:**Text , Journal article**Relation:**Set-Valued and Variational Analysis Vol. 25, no. 4 (2017), p. 701-729**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**We provide dual sufficient conditions for subtransversality of collections of sets in an Asplund space setting. For the convex case, we formulate a necessary and sufficient dual criterion of subtransversality in general Banach spaces. Our more general results suggest an intermediate notion of subtransversality, what we call weak intrinsic subtransversality, which lies between intrinsic transversality and subtransversality in Asplund spaces.

**Authors:**Kruger, Alexander , Luke, Russell , Thao, Nguyen**Date:**2017**Type:**Text , Journal article**Relation:**Set-Valued and Variational Analysis Vol. 25, no. 4 (2017), p. 701-729**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**We provide dual sufficient conditions for subtransversality of collections of sets in an Asplund space setting. For the convex case, we formulate a necessary and sufficient dual criterion of subtransversality in general Banach spaces. Our more general results suggest an intermediate notion of subtransversality, what we call weak intrinsic subtransversality, which lies between intrinsic transversality and subtransversality in Asplund spaces.

Borwein–Preiss vector variational principle

- Kruger, Alexander, Plubtieng, Somyot, Seangwattana, Thidaporn

**Authors:**Kruger, Alexander , Plubtieng, Somyot , Seangwattana, Thidaporn**Date:**2017**Type:**Text , Journal article**Relation:**Positivity Vol. 21, no. 4 (2017), p. 1273-1292**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**This article extends to the vector setting the results of our previous work Kruger et al. (J Math Anal Appl 435(2):1183–1193, 2016) which refined and slightly strengthened the metric space version of the Borwein–Preiss variational principle due to Li and Shi (J Math Anal Appl 246(1):308–319, 2000. doi:10.1006/jmaa.2000.6813). We introduce and characterize two seemingly new natural concepts of ε-minimality, one of them dependent on the chosen element in the ordering cone and the fixed “gauge-type” function. © 2017, Springer International Publishing.

**Authors:**Kruger, Alexander , Plubtieng, Somyot , Seangwattana, Thidaporn**Date:**2017**Type:**Text , Journal article**Relation:**Positivity Vol. 21, no. 4 (2017), p. 1273-1292**Relation:**http://purl.org/au-research/grants/arc/DP160100854**Full Text:****Reviewed:****Description:**This article extends to the vector setting the results of our previous work Kruger et al. (J Math Anal Appl 435(2):1183–1193, 2016) which refined and slightly strengthened the metric space version of the Borwein–Preiss variational principle due to Li and Shi (J Math Anal Appl 246(1):308–319, 2000. doi:10.1006/jmaa.2000.6813). We introduce and characterize two seemingly new natural concepts of ε-minimality, one of them dependent on the chosen element in the ordering cone and the fixed “gauge-type” function. © 2017, Springer International Publishing.

Density character of subgroups of topological groups

- Leiderman, Arkady, Morris, Sidney, Tkachenko, Mikhail

**Authors:**Leiderman, Arkady , Morris, Sidney , Tkachenko, Mikhail**Date:**2017**Type:**Text , Journal article**Relation:**Transactions of the American Mathematical Society Vol. 369, no. 8 (2017), p. 5645-5664**Full Text:****Reviewed:****Description:**We give a complete characterization of subgroups of separable topological groups. Then we show that the following conditions are equivalent for an omega-narrow topological group G: (i) G is homeomorphic to a subspace of a separable regular space; (ii) G is topologically isomorphic to a subgroup of a separable topological group; (iii) G is topologically isomorphic to a closed subgroup of a separable path-connected, locally path-connected topological group. A pro-Lie group is a projective limit of finite-dimensional Lie groups. We prove here that an almost connected pro-Lie group is separable if and only if its weight is not greater than the cardinality c of the continuum. It is deduced from this that an almost connected pro-Lie group is separable if and only if it is homeomorphic to a subspace of a separable Hausdorff space. It is also proved that a locally compact (even feathered) topological group G which is a subgroup of a separable Hausdorff topological group is separable, but the conclusion is false if it is assumed only that G is homeomorphic to a subspace of a separable Tychonoff space. We show that every precompact (abelian) topological group of weight less than or equal to c is topologically isomorphic to a closed subgroup of a separable pseudocompact (abelian) group of weight c. This result implies that there is a wealth of closed non-separable subgroups of separable pseudocompact groups. An example is also presented under the Continuum Hypothesis of a separable countably compact abelian group which contains a non-separable closed subgroup.

**Authors:**Leiderman, Arkady , Morris, Sidney , Tkachenko, Mikhail**Date:**2017**Type:**Text , Journal article**Relation:**Transactions of the American Mathematical Society Vol. 369, no. 8 (2017), p. 5645-5664**Full Text:****Reviewed:****Description:**We give a complete characterization of subgroups of separable topological groups. Then we show that the following conditions are equivalent for an omega-narrow topological group G: (i) G is homeomorphic to a subspace of a separable regular space; (ii) G is topologically isomorphic to a subgroup of a separable topological group; (iii) G is topologically isomorphic to a closed subgroup of a separable path-connected, locally path-connected topological group. A pro-Lie group is a projective limit of finite-dimensional Lie groups. We prove here that an almost connected pro-Lie group is separable if and only if its weight is not greater than the cardinality c of the continuum. It is deduced from this that an almost connected pro-Lie group is separable if and only if it is homeomorphic to a subspace of a separable Hausdorff space. It is also proved that a locally compact (even feathered) topological group G which is a subgroup of a separable Hausdorff topological group is separable, but the conclusion is false if it is assumed only that G is homeomorphic to a subspace of a separable Tychonoff space. We show that every precompact (abelian) topological group of weight less than or equal to c is topologically isomorphic to a closed subgroup of a separable pseudocompact (abelian) group of weight c. This result implies that there is a wealth of closed non-separable subgroups of separable pseudocompact groups. An example is also presented under the Continuum Hypothesis of a separable countably compact abelian group which contains a non-separable closed subgroup.

Free topological vector spaces

- Gabriyelyan, Saak, Morris, Sidney

**Authors:**Gabriyelyan, Saak , Morris, Sidney**Date:**2017**Type:**Text , Journal article**Relation:**Topology and its Applications Vol. 223, no. (2017), p. 30-49**Full Text:**false**Reviewed:****Description:**In this paper the free topological vector space V(X) over a Tychonoff space X is defined and studied. It is proved that V(X) is a kω-space if and only if X is a kω-space. If X is infinite, then V(X) contains a closed vector subspace which is topologically isomorphic to V(N). It is proved that for X a k-space, the free topological vector space V(X) is locally convex if and only if X is discrete and countable. The free topological vector space V(X) is shown to be metrizable if and only if X is finite if and only if V(X) is locally compact. Further, V(X) is a cosmic space if and only if X is a cosmic space if and only if the free locally convex space L(X) on X is a cosmic space. If a sequential (for example, metrizable) space Y is such that the free locally convex space L(Y) embeds as a subspace of V(X), then Y is a discrete space. It is proved that V(X) is a barreled topological vector space if and only if X is discrete. This result is applied to free locally convex spaces L(X) over a Tychonoff space X by showing that: (1) L(X) is quasibarreled if and only if L(X) is barreled if and only if X is discrete, and (2) L(X) is a Baire space if and only if X is finite. © 2017 Elsevier B.V.

Nonseparable closed vector subspaces of separable topological vector spaces

- Kakol, Jerzy, Leiderman, Arkady, Morris, Sidney

**Authors:**Kakol, Jerzy , Leiderman, Arkady , Morris, Sidney**Date:**2017**Type:**Text , Journal article**Relation:**Monatshefte Fur Mathematik Vol. 182, no. 1 (2017), p. 39-47**Full Text:**false**Reviewed:****Description:**In 1983 P. Domanski investigated the question: For which separable topological vector spaces E, does the separable space have a nonseparable closed vector subspace, where is the cardinality of the continuum? He provided a partial answer, proving that every separable topological vector space whose completion is not q-minimal (in particular, every separable infinite-dimensional Banach space) E has this property. Using a result of S.A. Saxon, we show that for a separable locally convex space (lcs) E, the product space has a nonseparable closed vector subspace if and only if E does not have the weak topology. On the other hand, we prove that every metrizable vector subspace of the product of any number of separable Hausdorff lcs is separable. We show however that for the classical Michael line the space of all continuous real-valued functions on endowed with the pointwise convergence topology, contains a nonseparable closed vector subspace while is separable.**Description:**In 1983 P. DomaA"ski investigated the question: For which separable topological vector spaces E, does the separable space have a nonseparable closed vector subspace, where is the cardinality of the continuum? He provided a partial answer, proving that every separable topological vector space whose completion is not q-minimal (in particular, every separable infinite-dimensional Banach space) E has this property. Using a result of S.A. Saxon, we show that for a separable locally convex space (lcs) E, the product space has a nonseparable closed vector subspace if and only if E does not have the weak topology. On the other hand, we prove that every metrizable vector subspace of the product of any number of separable Hausdorff lcs is separable. We show however that for the classical Michael line the space of all continuous real-valued functions on endowed with the pointwise convergence topology, contains a nonseparable closed vector subspace while is separable.

On varieties of Abelian topological groups with coproducts

- Gabriyelyan, Saak, Morris, Sidney

**Authors:**Gabriyelyan, Saak , Morris, Sidney**Date:**2017**Type:**Text , Journal article**Relation:**Bulletin of the Australian Mathematical Society Vol. 95, no. 1 (2017), p. 54-65**Full Text:**false**Reviewed:****Description:**A class of abelian topological groups was previously defined to be a variety of topological groups with coproducts if it is closed under forming subgroups, quotients, products and coproducts in the category of all abelian topological groups and continuous homomorphisms. This extended research on varieties of topological groups initiated by the second author. The key to describing varieties of topological groups generated by various classes was proving that all topological groups in the variety are a quotient of a subgroup of a product of groups in the generating class. This paper analyses generating varieties of topological groups with coproducts. It focuses on the interplay between forming products and coproducts. It is proved that the variety of topological groups with coproducts generated by all discrete groups contains topological groups which cannot be expressed as a quotient of a subgroup of a product of a coproduct of discrete groups. It is proved that the variety of topological groups with coproducts generated by any infinite-dimensional Hilbert space contains all infinite-dimensional Hilbert spaces, answering an open question. This contrasts with the result that a variety of topological groups generated by a topological group does not contain any infinite-dimensional Hilbert space of greater cardinality. © 2016 Australian Mathematical Publishing Association Inc..

Optimality conditions via weak subdifferentials in reflexive Banach spaces

- Hassani, Sara, Mammadov, Musa, Jamshidi, Mina

**Authors:**Hassani, Sara , Mammadov, Musa , Jamshidi, Mina**Date:**2017**Type:**Text , Journal article**Relation:**Turkish Journal of Mathematics Vol. 41, no. 1 (2017), p. 1-8**Full Text:****Reviewed:****Description:**In this paper the relation between the weak subdifferentials and the directional derivatives, as well as optimality conditions for nonconvex optimization problems in reflexive Banach spaces, are investigated. It partly generalizes several related results obtained for finite dimensional spaces. © Tübitak.

**Authors:**Hassani, Sara , Mammadov, Musa , Jamshidi, Mina**Date:**2017**Type:**Text , Journal article**Relation:**Turkish Journal of Mathematics Vol. 41, no. 1 (2017), p. 1-8**Full Text:****Reviewed:****Description:**In this paper the relation between the weak subdifferentials and the directional derivatives, as well as optimality conditions for nonconvex optimization problems in reflexive Banach spaces, are investigated. It partly generalizes several related results obtained for finite dimensional spaces. © Tübitak.

An open mapping theorem

- Gabriyelyan, Saak, Morris, Sidney

**Authors:**Gabriyelyan, Saak , Morris, Sidney**Date:**2016**Type:**Text , Journal article**Relation:**Bulletin of the Australian Mathematical Society Vol. 94, no. 1 (2016), p. 65-69**Full Text:****Reviewed:****Description:**It is proved that any surjective morphism f : Z(k) -> K onto a locally compact group K is open for every cardinal k. This answers a question posed by Hofmann and the second author.

**Authors:**Gabriyelyan, Saak , Morris, Sidney**Date:**2016**Type:**Text , Journal article**Relation:**Bulletin of the Australian Mathematical Society Vol. 94, no. 1 (2016), p. 65-69**Full Text:****Reviewed:****Description:**It is proved that any surjective morphism f : Z(k) -> K onto a locally compact group K is open for every cardinal k. This answers a question posed by Hofmann and the second author.

Are you sure you would like to clear your session, including search history and login status?