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

learn more… | top users | synonyms (1)

19
votes
3answers
611 views

Connectedness in the language of path-connectedness

Is there a topological space $(C,\tau_C)$ and two points $c_0\neq c_1\in C$ such that the following holds? A space $(X,\tau)$ is connected if and only if for all $x,y\in X$ there is a ...
4
votes
2answers
432 views

Why not develop a Hamiltonian-based Morse theory?

I have begun to learn the basics of Morse theory and Floer homology. I understand that Floer homology is the natural theory for symplectic manifolds, but from my preliminary knowledge of Morse theory ...
1
vote
2answers
85 views

Continuous image relation on topological spaces

Let $\kappa$ be a cardinal, and let $\text{Top}(\kappa)$ be the set of topological spaces $(X,\tau)$ such that $X\subseteq \kappa$. We pre-order $\text{Top}(\kappa)$ by for $X, Y \in ...
-4
votes
0answers
45 views

Proof : Limit of a sequence [on hold]

Prove from the definition of the limit of a sequence that $$\lim_{n\to\infty} \frac{2n^2+\cos(n)} {n^2+1} = 2 $$ (that is, for a given $\epsilon > 0$, find an explicit $N_\epsilon$) Please ...
1
vote
1answer
165 views

Homotopy with non piece-wise linear boundary

in the middle of a long proof I encounter the following problem. Let $E$ be a closed and convex set in $\mathbb R^n$ such that for all $\vec x\in E$ it holds that $\sum_ix_i=1$. (We can understand ...
1
vote
0answers
31 views

On compactness in Sion's minimax theorem

Sions minimax theorem (wiki, paper) can be stated as follows: Let $X$ be a compact convex subset of a linear topological space and $Y$ a convex subset of a linear topological space. Let $f$ be a ...
0
votes
0answers
56 views

Bounded-open topology vs norm on $L\left(X,Y\right)$

In general topology there is two ways of introducing a topology on the space of (continuous) maps between, say, metric spaces: set-open topology and uniform topology (it is a uniformity of uniform ...
3
votes
1answer
148 views

Is $\mathcal{P}(\omega)/fin$ with the interval topology a connected space?

Is $\mathcal{P}(\omega)/fin$ with the interval topology a connected space? (You find the definition of $\mathcal{P}(\omega)/fin$ here.) Remark: According to this, the interval topology of ...
9
votes
4answers
286 views

Obtain any 3-manifold from repeating surgeries on knots in $S^3$

In Witten's “QFT and Jones Polynomials” paper, page 383, it states that: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) ...
3
votes
4answers
575 views

Non-separable Banach space

The vector space $C_b(\mathbb R)$ of bounded continuous functions on $\mathbb R$ is non-separable: it is possible to produce a direct proof of this fact, mimicking the standard proof for the ...
-5
votes
0answers
76 views

Is there a bijection between R ans R² [closed]

Actually i'm looking for an Homeomorphism between R & R² does it exist ? Thanks for your help
5
votes
1answer
114 views

Infinite Hausdorff space that is not homeomorphic to any proper quotient

Let $S$ be a set and $\vartheta$ be an equivalence relation on $S$. We say that $\vartheta$ is proper if there are $x\neq y\in S$ with $(x,y)\in\vartheta$. Is there an infinite Hausdorff space ...
9
votes
0answers
101 views

Why must commuting maps (of an interval) without common fixed points have at least 11 fixed points for the composition?

I've been looking at the examples of commuting functions on a closed interval which have no common fixed points. These were discovered in 1967 by William M Boyce and J Philip Huneke. Earlier work by ...
154
votes
8answers
7k views

Two commuting mappings in the disk

Suppose that $f$ and $g$ are two commuting continuous mappings from the closed unit disk (or, if you prefer, the closed unit ball in $R^n$) to itself. Does there always exist a point $x$ such that ...
36
votes
1answer
359 views

Continuous maps which send intervals of $\mathbb{R}$ to convex subsets of $\mathbb{R}^2$

Let $f : \mathbb{R} \longmapsto \mathbb{R}^2$ be a continuous map which sends any interval $I \subseteq \mathbb{R}$ to a convex subset $f(I)$ of $\mathbb{R}^2$. Is it true that there must be a line in ...
0
votes
0answers
29 views

Number of continuous characters on an infinite Hausdorff precompact abelian group with exponent $p$

Let $(G,\mathcal T)$ be an infinite Hausdorff precompact abelian topological group and let $G$ have exponent $p$ where $p$ is a prime number. Can it be proved that there are at least $p+1$ continuous ...
5
votes
0answers
425 views

Continuous images of Cantor cubes

The original title of this question was "Is there only one (up to homeomorphism) zero-dimensional homogeneous dyadic space of weight $\mathfrak{c}$?". I changed it with the hope of getting a bit more ...
3
votes
1answer
52 views

Relatively compact sets in Ky Fan metric space

Let $(\Omega,P,\mathcal{F})$ be a probability space. $X$, $Y$ are two random variables. The Ky Fan metric defined as: $d_F(X,Y)=\inf\{\epsilon: P(|X-Y|> \epsilon)<\epsilon\}$ (or $d'_F(X,Y)=E ...
8
votes
2answers
213 views

Images of $\{0,1\}^\kappa$

Is there a compact topological space $(X,\tau)$ such that for no cardinal $\kappa$ there is a surjective continuous map $e:\{0,1\}^\kappa \to X$? (We assume that $\{0,1\}$ is endowed with the ...
25
votes
1answer
967 views

Computing Self-Intersections with Complex Analysis

It is possible to find the winding number of a path $C \subset \mathbb{C}$ using complex analysis: $$n = \oint_C\frac{dz}{z}.$$ You can also count the number of roots of $f(z) = 0$ inside a close ...
3
votes
2answers
193 views

Critical topological spaces

This is a follow-up question to Existence of injective neighborhood selection function as separation axiom. Let $(X, \tau)$ be a topological space. If there is an injective map $f:X\to\tau$ such that ...
0
votes
0answers
26 views

Constraints on continuous image of convex hulls [migrated]

Let $f$ a continuous injection $\mathbf{R}^2 \to \mathbf{R}^2$, and $X$ a non-empty subset of $\mathbf{R}^2$. Denoting with $\mathrm{cv}(Y)$ the convex hull of $Y$ and with $\overline{Y}$ the closure ...
15
votes
5answers
589 views

Abstract connectedness

Is there an abstract structure that characterizes connectedness, analogously to how topological spaces characterize continuity? Here's one way to make this question more precise: if $(X,T_X)$ is a ...
4
votes
3answers
123 views

Existence of injective neighborhood selection function as separation axiom

Let $(X, \tau)$ be a topological space. We say that $(X,\tau)$ is $T_{\text{inj}}$ if there is an injective map $f:X\to\tau$ such that $x\in f(x)$ for all $x\in X$. It is not hard to see that $T_1$ ...
2
votes
2answers
146 views

Can a continuous surjection from a Hilbert cube to a segment behave bad wrt Lebesgue measures?

Suppose $\hat{I}=[0,1]^\mathbb{N}$ is a Hilbert cube and $I=[0,1]$. Consider Lebesgue measures $m_1$ and $m_2$ on $\hat{I}$ and $I$ correspondingly. By Lebesgue measure on the Hilbert cube I mean the ...
14
votes
2answers
246 views

Choosing a metric in which homeomorphism is Holder continuous

Let $X$ be a compact metrizable space, and let $f:X \to X$ be a homeomorphism. Is it always possible to choose a compatible metric on $X$ in which $f$ is Holder continuous? I've tried some simple ...
21
votes
3answers
703 views

Possible categorical reformulation for the usual definition of compactness

Let $X$ be a compact topological space, $f_i:Y_i\to X$ a family of continuous maps such that the topology on $X$ is final for it (i.e., $U\subset X$ is open iff $f_i^{-1}(U)$ is open for each $i$, for ...
19
votes
6answers
2k views

A topological concept dual to compactness

We say that a subset A in a topological space X is anti-compact if every covering of A by closed sets has a finite subcover. Clearly if X is Hausdorff then all anti-compact subsets of X are finite. ...
1
vote
2answers
90 views

Spaces for which separable is equivalent to second-countable

While it is well known for metric spaces, being separable is equivalent to be second-countable. In this post I give a counterexample for a non metric space. What are other topological properties that ...
3
votes
3answers
710 views

Does the “continuous locus” of a function have any nice properties?

Suppose f:R→R is a function. Let S={x∈R|f is continuous at x}. Does S have any nice properties? Here are some observations about what S could be: S can be any closed set. For a closed set ...
1
vote
2answers
143 views

Why the intersection of a scott open (or \w the relatively compactness property) filter on a topology of a sober (and 2nd countable) space is compact?

Definitions and notations. Let $\mathcal{P}(X)$ the power set of $X$. Let $\tau_X\subseteq\mathcal{P}(X)$ a topology on X. We call $A$ irreducible if every time $A=B\cup C$ with $B,C$ closed set ...
2
votes
1answer
67 views

Why finite dimensional MCS-space implies $\mathbb{R}^m\times cone$ locally?

Frequently, I see a statment of the result in reference that a finite dimensional Alexandrov spaces is locally a product $\mathbb{R}^m\times cone$. It seems that this result comes from Perelman's ...
6
votes
2answers
224 views

Product of “prime” topological spaces

We call a topological space $(X,\tau)$ product-decomposable if there is an index set $I$ and subsets $X_i\subseteq X$ for $i\in I$ such that $|X_i| > 1$ and $X \cong \prod_{i\in I} X_i$ where each ...
3
votes
1answer
149 views

Countable chain condition in $\text{BP}(X)$

Let $\text{BP}(X)$ denote $\sigma$-algebra of subsets of $X$ with the Baire Property BP and $\text{MGR}(X)$ denote the $\sigma$-ideal of meager sets in $X$. Assume $X$ is second countable Baire ...
2
votes
1answer
64 views

Largeness, generic, random points

As presented in Oxtoby's book ( http://link.springer.com/book/10.1007%2F978-1-4615-9964-7 ), there are two notions of largeness for subspace $Y$ of a given space $X$: Topology: $X$ is a topological ...
1
vote
1answer
107 views

Weak topology on a pre-Hilbert Space

Since there was essentially no answers on my previous question, I will ask a partial case of it, which is very easy to state. Let $\left(X,\left<\cdot,\cdot\right>\right)$ be an inner product ...
1
vote
1answer
265 views

Weaker form of irreducible surjections

An irreducible surjection is usually defined as a continuous closed surjective map $f:X\rightarrow Y$ such that if for some closed set $C\subset X$ one has $f(C)=Y$ then $C=X$. In my dissertation I ...
3
votes
1answer
181 views

Question about of comeager set

If $G\subseteq2^{\mathbb{N}}$ is comeager then exist is a partition $\mathbb{N}=A_0\cup A_1$, $A_0\cap A_1=\emptyset$, and sets $B_i \subseteq A_i$ for $i \in \{0,1\}$, such that for $A \subseteq ...
22
votes
4answers
1k views
3
votes
2answers
905 views

Are countable unions of metrizable spaces metrizable too?

Suppose that $X=\bigcup_{n=1}^\infty K_n$ is a topological space, $K_n$ is a metrizable subspace in $X$ for every $n \in \omega$, then $X$ is a metrizable space? In metrizable spaces, compactness is ...
1
vote
0answers
122 views

Sum-epimorphisms and prod-monomorphisms

        Sum-epimorphisms A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition: ...
2
votes
4answers
359 views

Topological spaces $(X,\tau)$ where $|\text{Cont}(X,X)| = |X|$

Let $(X,\tau)$ be a topological space. Let $\text{Cont}(X,X)$ denote the set of continuous functions $f:X\to X$. What can be said about spaces $(X,\tau)$ where $|\text{Cont}(X,X)| = |X|$? For ...
0
votes
1answer
80 views

Totally non fixed point property

Edit: According to the comment of Pietro Majer, I revise the question Is there a non singleton compact connected Hausdorff topological space $X$ for which the following property hold?: "Constant ...
0
votes
1answer
135 views

A question about open subsets of Hilbert space whose complements are compact sets

Let $H$ be an infinite-dimensional separable Hilbert space. Let $C$ be the intersection of a denumerably infinite sequence of sets, each of which is the complement of a compact subset of $H$. In other ...
8
votes
1answer
229 views

Translates of meager sets

Does there exist a meager set of reals M such that every meager set can be covered by countably many translates of M? This is the category analogue of the following.
1
vote
1answer
155 views

Term for number of crossings of smooth curves

Two smooth oriented finite curves $g_1, g_2$ on e.g. the 2-dimensional torus can intersect each other transversally in two ways: either the pair $(Tg_1(x),Tg_2(x))$ of tangent vectors in the ...
10
votes
1answer
293 views

When is $X \rightarrow \text{Spec}(C(X))$ a homeomorphism?

Let $X$ be compact Hausdorff topological space. Consider the ring $C(X)$ of continuous functions $X \rightarrow \mathbb C$ (we do not consider the C* algebra structure, just consider $C(X)$ as a ring) ...
0
votes
0answers
69 views

Pro-constructible subset of scheme intersects very dense subsets?

Let $X$ be a scheme, let $D$ be a very dense subset of $X$ and let $Y$ be a pro-constructible subset of $X$. Is it true that $Y \cap D \neq \emptyset$? If $Y$ is just constructible, this is true. ...
3
votes
1answer
810 views

Who coined “mob” and “clan” and why these words?

A mob is a word used for a topological semigroup which is a Hausdorff space. A clan is a compact connected mob with a two-sided identity element. Who used these words with these meanings first and ...
9
votes
5answers
1k views

Defining a topology in the Power Set

I have the following question: Given a topological space $T$ is possible in general to give a topology to $2^T$ (the power set of $T$) such that this topology in $2^T$ is related to $T$. If the ...