Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

learn more… | top users | synonyms (2)

2
votes
1answer
58 views

The pseudo-metric and linear orders

Is there a necessary and sufficient condition for a linearly ordered topological space to be pseudo-metrizable? (by a pseudo-metric, I mean a map $X\times X\rightarrow\mathbb{R}$ in which all the ...
0
votes
0answers
46 views

A question about Raikov complete topological groups

I asked this yesterday on Math Stackexchange, but didn't get any comments. So I thought I might ask here too. Let $G$ be a topological group and let $G^*$ be its Raikov completion, i.e its completion ...
4
votes
1answer
141 views

Stronger form of connectedness than path-connectedness

Given a topological space $C$ and points $c_0, c1\in C$ we say that a topological space $(X,\tau)$ is $(C,c_0,c_1)$-connected if and only if for all $x,y\in X$ there is $f:C\to X$ continuous with ...
5
votes
1answer
246 views

References for higher descriptive set theory surveys

A student of Adi Jarden and mine attempts at generalizing results on selection principles from the Baire space $\omega^\omega$ to the higher Baire space $\kappa^\kappa$ ($\kappa$ uncountable), and ...
6
votes
3answers
392 views

When does the generalized Cantor space embed in a $\kappa$-compact space

The generalized Cantor space is the space $2^\kappa$, with basic open sets $$ [\sigma] := \{f\in 2^\kappa : \sigma\subseteq f\}, $$ for $\sigma\in 2^{<\kappa}$. A space is $\kappa$-compact if ...
30
votes
5answers
2k views

Does $\mathbb C\mathbb P^\infty$ have a group structure?

Does $\mathbb C\mathbb P^\infty$ have a (commutative) group structure? More specifically, is it homeomorphic to $FS^2$, (the connected component of) the free commutative group on $S^2$? $\mathbb ...
21
votes
1answer
306 views

Is the normal bundle of a torus trivial?

Question: Let $T^k \subseteq \mathbb{R}^n$, $ n > k$, be a smoothly embedded $k$-torus. Is its normal bundle trivial? What about the normal bundle of $S^k \subseteq \mathbb{R}^n$, $n > k$, the ...
2
votes
1answer
157 views

Pseudocomplements in the lattice of topologies

Given a set $X\neq \emptyset$ it is well-known that the collection $\text{Top}(X)$ of all topologies on $X$ is a (complete) lattice with respect to $\subseteq$. Let $0$ denote the smallest element of ...
2
votes
0answers
83 views

Sheaf on a filtered topological space?

Is there any nice way of defining a sheaf of abelian groups on a filtered topological space? Let $X$ equipped with filtration $X_0\subset X_1\subset X_2\subset ... \subset X_k=X$ be an object in the ...
3
votes
0answers
157 views

Every convex sequentially closed set is closed

Let $X$ be a vector space. A vector (not necessarily Hausdorff) topology on $X$ will be called convex sequential if every convex sequentially closed subset of $X$ is closed. Is there some description ...
1
vote
0answers
82 views

Tightening a loop

Consider two $d$-dimensional convex polytopes $c_1, c_2$ that share a $(d-1)$-dimensional face $f$. Let $M$ be a surface ($2$-manifold) that intersects each of $c_1$ and $c_2$ in a $2$-ball. Suppose ...
4
votes
1answer
183 views

Sequentiality of largest vector topology

I know that the largest vector topology on countable dimensional vector space is sequential (i.e. every sequentially closed set is closed). Does it keep for the arbitrary vector space? In countable ...
12
votes
3answers
259 views

$T_2$ topologies that are “as disjoint as possible”

Let $X$ be an infinite set. Are there Hausdorff topologies $\tau_1, \tau_2$ on $X$ such that $\tau_1\cap\tau_2 = \{\emptyset\} \cup \{U\subseteq X: X\setminus U\text{ is finite}\}$? (That is, the ...
7
votes
2answers
211 views

Reconstructibility of topological spaces

Let $(X,\tau), (Y,\sigma)$ be topological spaces with $|X|$ infinite and suppose $\varphi:X\to Y$ is a bijection such that for all $x\in X$ we have that $(X\setminus\{x\}) \cong ...
0
votes
1answer
46 views

On 1-iso maps and subsets of the unit circle

Let $S$ be the unit circle and for any $x,y \in S$ let $d(x,y)$ be the lenght of the smallest arc between $x$ and $y$. A bijective map $\phi : S\longrightarrow S$ is called 1-iso if the following ...
0
votes
1answer
89 views

Topology on $\omega\times\omega$ such that topologically connected equals graph-connected

For any set $X$ we define $[X]^2 =\big\{\{a,b\}: a, b \in X\text{ and }a\neq b\big\}$. Let $$E = \big\{\{(a_1, a_2), (b_1, b_2)\}\in[\omega\times\omega]^2: |a_i-b_i| = 1\text{ for some } ...
2
votes
0answers
45 views

Existence of enough local sections

Let $\pi: G\to X$ be a continuous open (!) surjection of locally compact Hausdorff spaces. Assume that each fiber $G_x=\pi^{-1}(x)$, $x\in X$ carries a group structure making it a locally compact ...
1
vote
1answer
97 views

Intersections of families of open sets ordered by well-inside relation in Euclidean space

Let $\langle\mathbf{R}^n,\mathscr{O}\rangle$ be the $n$-dimensional Euclidean space. Define $\mathbf{Q}\subseteq\mathcal{P}(\mathscr{O})$ to consist of all sets $\mathsf{Q}$ which simultanously ...
4
votes
1answer
121 views

$C(X)$ as finitely generated $C^*$-algebra

Let $X$ be a Hausdorff space. Suppose that $C(X)$ (or $C_0(X)$) is a finitely generated $C^*$-algebra. What we can say about $X$ ? For example can we characterize its inductive dimension, axioms of ...
6
votes
1answer
286 views

Classify $K(\pi,n)$ that are manifolds

Inspired by `Naturally occuring' $K(\pi, n)$ spaces, for $n \geq 2$. and When is a classifying space a topological manifold?, I'd like to formulate a precise question: For which $n \in ...
2
votes
0answers
61 views

Pre-cosheaf of connected components

Consider a continous map $f:Y \to X$ between topological spaces. The pre-cosheaf $\mathcal{F}: Open(X) \to Set$ of connected components of the inverse image is defined as $\mathcal{F}(U):= ...
4
votes
1answer
154 views

Is the topological dual of a Banach space weakly* closed in its algebraic dual?

The question is completely contained in the title :) I can only add, that it is not difficult to give a counterexample for normed spaces, and also Banach-Steinhaus theorem implies the sequential ...
10
votes
3answers
528 views

What are parabolic bundles good for?

The question speaks for itself, but here is more details: Vector bundles are easy to motivate for students; they come up because one is trying to do "linear algebra on spaces". How does one motivate ...
3
votes
1answer
108 views

If $S$ is non-stationary in $[k]^{\omega}$ is there a choice-function on $S$ with bounded fibers?

Fodor's Lemma : When $k$ is a regular uncountable cardinal, and $T$ is a stationary subset of $k$, any regressive $f:T\to k$ has a fiber which is stationary in $k$. Corollary: $T$ is stationary in ...
3
votes
1answer
208 views

When is the generalized Cantor space $\kappa$-compact?

My M.Sc. student has the following question, that I assume has an answer in the literature, and we are looking for references. The generalized Cantor space is the space $2^\kappa$, with basic open ...
4
votes
1answer
118 views

Is the following product-like space a Polish space?

Let $\mathcal{M}_1(\mathbb R)$ denote the space of Borel probability measures on $\mathbb R$. The space is a Polish space (a space which admits a complete, separable, metric) using, say the ...
12
votes
2answers
256 views

Term for a metric space for which the triangle inequality is strict?

Is there a standard term for a metric space in which $\rho(p,r) < \rho(p,q) + \rho(q,r)$ for any distinct $p$, $q$, $r$? Sort of the opposite of metric convexity. For instance, a subset of ...
1
vote
0answers
163 views

A functor on the category of rings, algebras or compact Hausdorff topological space

Assume that $R$ is a unital ring or a complex or real (Banach or $C^{*}$) algebra. We define a relation $M$ on $R$ as follows: $$a\;M b \;\;\; \text{iff}\;\; a=xy,\;b=yx \;\; \text{for ...
0
votes
0answers
97 views

Alternative representation of $C_c(X)$ as inductive limit

CORRECTION: As Simon Henry points out in the comments, there is a problem in the construction: the maps $\varphi_n$ are not necessarily linear. Under some additional constraints on the space (e.g. $X$ ...
1
vote
0answers
206 views

The theory of frames and locales as elementary topology [closed]

In What is elementary geometry? (pdf) Alfred Tarski defined elementary geometry to be that part of Euclidean geometry which can be formulated and established without the help of any ...
0
votes
1answer
75 views

$C^{\infty}_{loc}$-convergence - right definition

Let $\Omega \subset \mathbb{R}^{n}$ be some open set. Let $f_{n},f\in C^{\infty}(\Omega)$. My question is: What does the following phrase mean? $f_{n}$ converges to $f$ in $C^{\infty}_{loc}(\Omega)$. ...
2
votes
0answers
86 views

Centralizer of a dense subgroup in a maximal subgroup of a reductive group

I am looking for a reference to the following statement "Let $G$ be a reductive algebraic group and $K$ a maximal compact subgroup of $G$. If $H$ is a dense subgroup in $K$, then the centralizer of ...
1
vote
1answer
76 views

Identifying attractors in high dimensional dynamical sytems [closed]

I have a high dimensional dynamical system, and I was wondering if there is a method to identify the various attractors of the system i.e, a way of mapping the energy landscape? I was thinking of a ...
0
votes
0answers
57 views

Can a countable and connected space be hausdorf? [duplicate]

Can a countable and connected space be hausdorf? If not, can it be T1, i.e., every pair of points is topologically distinguishable and seperable?
1
vote
1answer
88 views

Isotopy class of closed 2-ball embedded in R^3

My intuition tells me that any two topological embeddings of the closed 2-ball (aka unit disk) into $R^3$ are isotopic in $R^3$. Is this correct? Maybe easy to prove? It seems like it should be easy ...
4
votes
3answers
155 views

End points of continua

Whyburn (1942) defined an end point $x$ of a continuum $X$ to be any point having arbitrarily small neighborhoods each of whose boundaries contains a single point. Thus, he defines an end point ...
6
votes
2answers
187 views

A non locally compact group of finite topological dimension?

Is there a topological group which is Hausdorff, first countable, locally connected and has finite topological dimension, yet fails to be locally compact?
3
votes
0answers
57 views

Can approximately periodic functions be perturbed to periodic functions on a locally compact group?

Let $G$ be a locally compact group and $H\subset G$ a closed and cocompact subgroup. I wish to consider bounded continuous functions from $G$ to $\mathbb{C}$ that are periodic in the following strong ...
2
votes
1answer
160 views

Holonomic splitting

I am reading the book "Introduction to the h-Principle" by Eliashberg and Mishachev. At the moment I try to understand the Section 1.7 Holonomic splitting on page 12 but without success. I do not ...
4
votes
0answers
203 views

A generalized ellipse

We know that an ellipse is the locus of all point $z$ in the plane with $$|z-a|+|z-b|=\lambda$$ where $a,b$ are two given points in the plane and $\lambda$ is a constant. Now we consider the ...
7
votes
3answers
254 views

Numerical and topological density

Let $\mathbb{N}$ denote the set of positive integers, and let's say that $A\subseteq \mathbb{N}$ is numerically dense if $$\text{lim inf}_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n} = 1.$$ Is there a ...
8
votes
1answer
175 views

Simply connected noncompact surfaces

Is there a theorem saying that any noncompact, simply connected topological surface is homeomorphic to the plane ? There seems to be many well-known results about the classification of compact ...
9
votes
3answers
518 views

Collection of dense subsets as a “fingerprint” for Hausdorff topologies?

Let $(X,\tau)$ be a Hausdorff space and let ${\cal D}$ denote the collection of dense subsets of $(X,\tau)$. Is it possible that there is another Hausdorff topology $\tau_1 \neq \tau$ on $X$ such that ...
4
votes
1answer
107 views

Completeness of Localizations of Completions of Commutative Rings

Let $R$ be an integral domain. Let $x,y\in R\setminus\{0\}$ be distinct. Let $\hat R$ be the $x$-adic completion of $R$ (the ring of all sequences $(r_n+Rx^n)_{n\ge0}$ where for $n\ge0$, $r_n\in R$ ...
-3
votes
1answer
174 views

Homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1) [closed]

Can one construct homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1)? If so, please show me how to construct it.
1
vote
0answers
82 views

Does bounded and closed equal compact for sets of Borel probability measures?

Equip the space of Borel probability measures on a fixed closed subset X of the s-dimensional Euclidean space with the topology induced by weak convergence of probability measures. In this setting, ...
14
votes
0answers
325 views

pizza lemma (topology)

given six real-analytic arcs in the unit disk $D$, each of which connects the origin to a boundary point, and no two arcs meet anywhere except at the origin, and the arcs meet at equal (60 degree) ...
2
votes
1answer
75 views

Is there any workable internal characterization of zero-sets?

I am asking the question in a purely topological setting; a zero-set of some topological space $X$ is a subset which can be realized as the counterimage of a single point through a continuous ...
2
votes
1answer
138 views

Extremally disconnected spaces and a measure theoretic property

Suppose that $X$ is an extremally disconnected topological space (meaning that the closure of an open set is still open). Then $X$ has the following property: the family of all sets $S$ such that $S$ ...
3
votes
0answers
58 views

Kind of multiplicative total boundedness in Hausdorff compact rings

Let $(R,\cal T)$ be a unital Hausdorff compact topological ring and let $A$ be an open subset of $R$ containing $1$. Is there a finite set $B$ with $AB=R$?