Everything involving general topological spaces: generation and description of topologies; open and closed sets, neighborhoods; interior, closure; connectedness; compactness; separation axioms; bases; convergence: sequences, nets and filters; continuous functions; compactifications; function spaces; ...

learn more… | top users | synonyms (2)

20
votes
0answers
457 views

Differential forms on fuzzy manifolds

This post will take a bit to set up properly, but it is an easy read (and most likely easy to answer); in any event, please bear with me. Question In the usual setting of open subsets of ...
14
votes
0answers
672 views

Lifting local compactness in covering spaces

Since the total space of a cover is locally homeomorphic to the base space, local topological properties (like local (path) connectedness, T1 etc.) lift from the base space to the total space. The ...
13
votes
0answers
417 views

Understanding Alexandroff compactification

Is the Alexandroff one-point compactification of a locally compact Hausdorff space ($\mathbf{LCHaus}$) a functor to the category of compact Hausdorff spaces ($\mathbf{CHaus}$)? It seems to me that one ...
12
votes
0answers
472 views

Compactification of Manifolds

It is known that for any locally compact Hausdorff space X, we can define a Hausdorff one-point compactification containing X. In the case of the (differentiable) manifold $\mathbb R^n$ this one-point ...
11
votes
0answers
163 views

Soberification of a topological space

In Johnstone´s Stone Spaces, he introduces the concept of soberification of a topological space: Let $X$ be a topological space and $\Omega(X)$ the lattice of open subsets of $X$, the ...
11
votes
0answers
192 views

In $n>5$, topology = algebra

During the study of the surgery theory I faced following sentence: Surgery theory works best for $n > 5$, when "topology = algebra". I don't know what is the meaning of topology=algebra. ...
9
votes
0answers
79 views

if we set topology on a group like that, is it important?

Let $G$ be a group and $\omega$ be set of all subgroup of $G$. Since $\omega$ is closed under intersection, it is trivial to check that $\omega$ satisfies to conditions to be a base. Thus,Let $T$ be ...
9
votes
0answers
158 views

Restrictions of null/meager ideal

Let I denote the null/meager ideal on reals. Is it consistent that for any pair of non null/meager sets A and B, there is a null/meager preserving bijection between A and B? In particular, is this ...
9
votes
0answers
187 views

How much do idempotent ultrafilters generate in terms of semigroups?

It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
8
votes
0answers
68 views

Are there more embeddings $U(2) \hookrightarrow SO(4)$?

It is easy to prove that $SO(4)$ acts transitively and freely on $S^2$ with fiber $U(2)$. Therefore, we can identify each point of $S^2$ with a particular embedding $U(2) \hookrightarrow SO(4)$. My ...
8
votes
0answers
383 views

A fiber bundle over Euclidean space is trivial.

What's the easiest way to see this? The only thing I could think to do was try to patch together trivializations. I couldn't find a way to make that work. Thank you! edit: For the record, here's why ...
8
votes
0answers
132 views

Open map which “almost fixes” the boundary of an open ball

We have a continuous function $f:\bar{B}\to\mathbb{R}^n$, where $\bar{B}=\{x\in\mathbb{R}^n:\|x\|\le 1\}$, such that if $\|x\|=1$ then $\|f(x)-x\|<\epsilon$, for a fixed $\epsilon\in(0,1)$. We have ...
7
votes
0answers
69 views

Flabby sheaf comonad

If one Googles sufficiently hard one finds the statement that Roger Godement gives the first example of a comonad, used to compute flabby resolutions of sheaves, in his monograph "Topologie algébrique ...
7
votes
0answers
72 views

“Implicit” subcover

I'm learning about compactness in topological spaces and I wonder if there is an example of a compact topological space $X$ and an open cover $\{U_\alpha\}$ of $X$ for which we can't show explictly a ...
7
votes
0answers
104 views

Urysohn's Lemma needn't hold in the absence of choice. Alternate terminology for inequivalent definitions of “normal” spaces?

A topological space $\langle X,\tau\rangle$ is said to be normal if any two disjoint closed subsets are separated by open sets, meaning that for disjoint $E,F\subseteq X$ with $X\setminus E,X\setminus ...
7
votes
0answers
164 views

Kernels in $\mathbf{Top}$

There is a following well-known theorem for abelian categories (at least the ones I know, Ab, $R$-mod and so on... not so familiar with categorical language to be honest) which states the following : ...
7
votes
0answers
193 views

Proof that the set of doubly-stochastic matrices forms a convex polytope?

Does the set of all doubly-stochastic matrices form a convex polytope? In general, I wonder how the proofs of convexity and geometry can be established for sets of matrices of this kind? Anything to ...
7
votes
0answers
172 views

What properties are preserved under a measurable mapping?

Although in an abstract category the morphisms are not explicitly defined, in a concrete example (model theory?), morphisms are (always/usually?) mappings that preserve some properties. In the ...
7
votes
0answers
110 views

When is $\{ x | f(x) \le 0\}$ path-connected?

I'm trying to determine the conditions on $f : \mathbb{R}^n_{\ge 0} \to \mathbb{R^n}$ under which $\{ x | f(x) \le 0\}$ is path-connected. We can assume that $f$ is continuous and concave (i.e. for ...
7
votes
0answers
103 views

Continuous choice of basis for subspaces

Consider the flag variety (or flag manifold, depending on who you are) $V=\mathrm {Fl} (3,\mathbb C)$ of complete flags of subspaces of $\mathbb C^3$. That is, an element of M is a tuple (L , P) ...
7
votes
0answers
191 views

Is there an abelian cat of topological groups?

There are lots of reasons why the category of topological abelian groups (i.e. internal abelian groups in $\bf Top$) is not an abelian category. So i'm wondering: Is there a "suitably well ...
6
votes
0answers
42 views

Axiomatizing topology through continuous maps

Suppose we have some topological space $X$ and we somehow forgot about the topology. A friend of ours knows the topology and offers to tell us for any map $X\to Y$ into any topological space $Y$ ...
6
votes
0answers
106 views

Group Structure on $\Bbb R$

$(\Bbb R,+)$ is a topological group. Is there any other group structure on $\Bbb R$ such that it is still a topological group and this group is not isomorphic to $(\Bbb R,+)$ ? Refer to ...
6
votes
0answers
140 views

Point set topology from an algebraic perspective?

I got this idea of viewing a topology as an operation on a ring of sets. Let $\mathcal R = (\mathcal P(X), \cap, \triangle)$ be a ring of sets. ($\triangle$ is the symmetric difference operation and ...
6
votes
0answers
113 views

Fixed point of a shrinking map. Proof.

Could you please verify my proof? Let $f:X \to X$ be a shrinking map on a compact metric space $(X,d)$. In other words: $d(f(x),f(y)) < d(x,y)$ for all $x,y \in X$. Prove: $f$ has a unique ...
6
votes
0answers
243 views

Is the boundary of a connected set connected?

SOLVED - check out the comments or directly this answer. I was wondering if the boundary of an unbounded component $C$ of the complement of a bounded connected open set $U$ must be connected (in ...
6
votes
0answers
202 views

A few standard results (on metrizability and relative separation strength) without choice?

I've been going back over some results from Munkres's Topology, and I'm curious about some things.... I know that Choice principles have some connection to the separation axioms (in ZF, at ...
6
votes
0answers
111 views

Characterization of open maps

I'm looking for different but equivalent definitions of the concept of open map. So Let $X,Y$ be topological spaces and $f:X\longrightarrow Y$ a function, not assumed to be continuous. I conjectured ...
6
votes
0answers
120 views

Existence of a map in a Hilbert space

Let $H$ be an infinite-dimensional Hilbert space, $B$ be its unit ball: $B=\{x\in H: \, \|x\|\leq 1\}$. Does there exist a continuous map $f:H\to H$ such that $f(f(x))=x$ $\forall x\in H$, $f$ has no ...
6
votes
0answers
164 views

Understanding the roots of homomorphism and homeomorphism

I understand the formal (i.e. mathematical) definitions of the terms "homomorphism" and "homeomorphism" as they relate to functions, but I am curious as to the origin of these terms. I don't know ...
6
votes
0answers
85 views

“Cutting out” loops from paths

Given a topological space $X$ and a path $p : [0, 1] \to X$ such that $p(0) \neq p(1)$, does there always exist an injective path $p' : [0,1] \to \operatorname{im}p$ such that $p'(0) = p(1)$ and ...
6
votes
0answers
141 views

What are 'weak' forms of Urysohn's lemma, which do not require choice?

Reference: http://web.mat.bham.ac.uk/C.Good/research/pdfs/horror.pdf It is well known that the original proof of Urysohn's lemma uses a choice principle. (DC) What are weak forms of the Urysohn's ...
6
votes
0answers
194 views

compact-open metrizability

Given topological spaces $X$ and $Y$ the set $C(X,Y)$ of all continuous functions $f:X\to Y$ becomes a topological space with the compact-open topology (that is the topology generated by the sets ...
6
votes
0answers
268 views

Topological necessary and sufficient condition for tightness

Recall the definition of tightness for a probability measure $\mathbb P$ on the Borel $\sigma$-algebra of a metric space $(S,d)$: For each $\varepsilon>0$, we can find a compact subset $K$ of ...
6
votes
0answers
110 views

Piecewise Affine Bijections of $\mathbb{R}^n$

I have a min-max function $f:\mathbb{R}^n\to\mathbb{R}^n$ of the form $$f(x) = \min_{i=1,\dots,n}\max_{j=1,\dots,n}(\alpha_{ij}^Tx + \beta_{ij})\quad\text{where each } \alpha_{ij}\in ...
5
votes
0answers
199 views

Questions related to intersections of open sets and Baire spaces

EDIT: I have reposted this question on MathOverflow. (The version posted there is more concise, with some details omitted. I have also added a question about pseudobases with similar property.) MO ...
5
votes
0answers
80 views

Cohomology of covering space

Let $B$ be a base space and $E$ be a covering space of $B$ what is the relation between $H^2(B,\mathbb{Z})$ and $H^2(E,\mathbb{Z})$.?
5
votes
0answers
69 views

Support is closed

In the definition of the support of a real function $f$ on $X$, why is it important to consider the closure of the set $S=\{x\in X:f(x)\neq0\}$ and not just $S$ itself? Why is the closure of $S$ ...
5
votes
0answers
78 views

What kinds of structures support integration?

I am doing topology which neatly generalizes analysis, which led me to wonder naturally about generalizations of calculus. Specifically I'm interested in knowing what is required of a mathematical ...
5
votes
0answers
118 views

Characterising singular homology among a more general class of cosimplicial spaces

Is there a way to characterise (up to isomorphism) the simplicial spaces $F: \Delta \to \underline{\text{Top}}$ with $F( \underline{n}) \subset \mathbb{R}^{n+1}$ compact and $F(\underline{0})$ a ...
5
votes
0answers
115 views

Orbit space of a free, proper G-action principal bundle

Let $G$ be a topological group and let $r \colon E \times G \to E$ be a continuous right-action on a topological space $X$. If $p\colon E \to B$ is a continuous map into a topological space $B$ such ...
5
votes
0answers
129 views

Dense uncountable proper subgroup of $(\mathbb{R},+)$

Probably someone had asked this question on StackExchange, but can one construct a dense uncountable proper subgroup of $(\mathbb{R},+)$?
5
votes
0answers
98 views

How to find a homeomorphism $\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}$ having certain properties

Let $n\ge 2$ and let $C$ be a cantor space in $\mathbb{R}^{n}$. That is, $C$ is homeomorphic to the cantor ternary set. Let $x$ and $y$ be two points in $\mathbb{R}^{n}-C$, and let $L_{xy}$ be the ...
5
votes
0answers
101 views

Reference request - the topology generated by upward and downward closures of antichains.

By definition, the order topology on a totally ordered set $T$ is the coarsest topology such that every subset of $T$ that can be expressed as the upward or downward closure of a singleton is closed. ...
5
votes
0answers
97 views

Is there some elementary proof of invariance of domain?

Invariance of domain at least in statement seems a simple result. I mean, the first time I saw the statement I thought: "the proof can't be that bad", but when I searched for it I saw that it needs ...
5
votes
0answers
68 views

Prove $\mathbb{R}^3$ is not the product of two identical topological spaces

I can only prove this for $\mathbb{R}$: If $\mathbb{R}\cong T\times T$, then $T$ embeds in $\mathbb{R}$ as a closed subspace (e.g. $T\times pt$). Since $\mathbb{R}$ is connected, so is $T$. So $T$ ...
5
votes
0answers
98 views

Is this a spectral decomposition/embedding/isometry?

Given a symmetric p.s.d matrix G, we know that a gram matrix/inner-product representation, X exists where $G=X^TX$ and $X=U\lambda^{1/2}$ via the eigen decomposition of $G$. Now if I take the same ...
5
votes
0answers
96 views

An interesting space inspired by Mrowka's space

The example is from Bell M G. First countable pseudocompactifications[J]. Topology and its Applications, 1985, 21(2): 159-166.. Let us recall some necessary definitions firstly: Let $X$ be a ...
5
votes
0answers
117 views

Is dependent choice necessary to prove every perfect compact Hausdorff space is uncountable?

The answer to Cardinality of a locally compact space without isolated point shows that AC is required to show that if $X$ is a compact Hausdorff space with no isolated points then $|X| \ge ...
5
votes
0answers
72 views

$M$ is compact, non-empty, perfect, and $M \cong M \times M$. Must $M$ be homeomorphic to the Cantor set, the Hilbert cube, or some combination?

Assume that $M$ is compact, non-empty, perfect, and homeomorphic to its Cartesian square, $M \cong M \times M$. Must $M$ be homeomorphic to the Cantor set, the Hilbert cube, or some combination of ...