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 (3)

46
votes
0answers
1k 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 ...
43
votes
0answers
800 views

Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...
39
votes
0answers
1k views

Is there a homology theory that counts connected components of a space?

It is well-known that the generators of the zeroth singular homology group $H_0(X)$ of a space $X$ correspond to the path components of $X$. I have recently learned that for Čech homology the ...
25
votes
0answers
649 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. ...
19
votes
0answers
223 views

Strengthening the intermediate value theorem to an “intermediate component theorem”

Let $f$ be a continuous function on a closed Euclidean ball (in dimension $\ge 2$) that is negative in the center of the ball and positive on its boundary. On any path from the center of the ball to ...
16
votes
0answers
757 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 ...
15
votes
0answers
311 views

On distributivity of lattice of group topologies

Let $\frak L$ be the set of all topologies $\mathcal T$ on $\Bbb Q$ (the additive group of all rational numbers) such that $(\Bbb Q,\mathcal T)$ is a topological group. Then $(\frak L,\subseteq)$ is a ...
12
votes
0answers
100 views

Is $\{ \sin n^m \mid n \in \mathbb{N} \}$ dense in $[-1,1]$ for every natural number $m$?

Is $\{\sin n^m \mid n \in \mathbb{N}\}$ dense in $[-1,1]$ for every natural number $m$? Progress For $m=1$, I can prove this using the fact that $\sin$ is continuous and $a+b\pi$ is dense in the ...
12
votes
0answers
244 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 : ...
11
votes
0answers
225 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 ...
10
votes
0answers
174 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 ...
9
votes
0answers
106 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$ ...
9
votes
0answers
200 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
232 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
115 views

Is every connected subset of the Sierpiński triangle arcwise connected?

I think this should be true. If it's indeed the case, it seems like this should be a known result, so references are welcome. I managed to prove that (assuming $S$ is the connected subset) $S$ ...
8
votes
0answers
416 views

Homology of Compact Manifolds

Perhaps this is obvious and I am overlooking something, but why are the homology groups of compact manifolds finitely generated?
8
votes
0answers
286 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 ...
8
votes
0answers
195 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 ...
7
votes
0answers
96 views

Order-preserving map of regressive functions on $\omega_1$

I posted the following question a year ago on MO. It did receive some attention, but the answer there remains incomplete (as discussed in some detail in its comments). Meanwhile I got the impression ...
7
votes
0answers
191 views

defining a topology by its compact sets

The goal. Let $X$ be a set endowed with Hausdorff topologies $\tau_w$ and $\tau_n$, such that $\tau_w\subseteq\tau_n$. Let $\mathscr{C}$ denote a family of subsets $A\subseteq X$, which satisfies ...
7
votes
0answers
140 views

Why use the Lefschetz Zeta function?

Given a compact, triangulable space $X$ and a continuous function $f: X\rightarrow X$, then we define the Lefschetz number $\Lambda_{f}$ by $$\Lambda_{f} = \sum_{k\geq0}(-1)^{k}Tr(f_{\ast}\vert ...
7
votes
0answers
90 views

Raising a partial function to the power of an ordinal

Consider a set $X$, and let $f : X \rightarrow X$ denote a partial function. Then for natural $n$, we can define $f^n$ as iterated composition, e.g. $f^2 = f \circ f$. Now suppose that $X$ is also ...
7
votes
0answers
386 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 ...
7
votes
0answers
101 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
92 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
202 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 ...
7
votes
0answers
123 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. ...
7
votes
0answers
143 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
465 views

The Number of Topologies on a Finite Set

I would like to know if there is like a magical formula to know how many topologies exist on a finite set For example for $X = \{ a, b, c \}$ I found $29$, but I dont know if there are more or how to ...
7
votes
0answers
97 views

Topological Space in which every compact subset is metrizable

Is there an (more or less) established name for the class of topological spaces in which every compact subset is metrizable? This is true for example in (LF)-spaces (inductive limits of ...
7
votes
0answers
335 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 ...
7
votes
0answers
123 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
248 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
150 views

“Wheel Theory”, Extended Reals, Limits, and “Nullity”: Can DNE limits be made to equal the element “$0/0$”?

"Wheels" are a little-known kind of algebraic structure: They modify the concept of a field or a ring in such a way that division by any element is possible, including division by zero, while also ...
6
votes
0answers
167 views

Making new sense of the three-body problem in the light of Maryam Mirzakhani math contributions

I am unfamiliar with moduli spaces and ergodic theory which appear to be essential in Maryam Mirzakhani's math contributions which won her the Fields Medal. However, I am well conversant with ...
6
votes
0answers
123 views

Is there such a thing as 'overtification' (dual to compactification)?

The dual to the notion of compactness for spaces is overtness. This duality is not manifest in the category of spaces but rather in the quantifiers used to define these notions. Is there a process ...
6
votes
0answers
85 views

How many sets can you get by taking closures, complements, and intersections?

The Kuratowski closure-complement problem yields 14 sets which can be formed by taking the closure and the complement of a single set. But if I want to also include such sets as the frontier or ...
6
votes
0answers
478 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
152 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
239 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
96 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
167 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
107 views

Unicoherence of non-euclidean spaces

My question concerns the notion of unicoherence, which is a property that a topological space may or may not have. The definition (from Wikipedia) is: "A topological space $X$ is said to be ...
6
votes
0answers
127 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 ...
6
votes
0answers
420 views

Homotopy extension property vs. good pairs

I'm taking a course that uses the book "algebraic topology" by Allen Hatcher. I this book there are two different ways in which a pair (X,A) of a topological space X and a subspace A can be nice: They ...
6
votes
0answers
3k views

When quotient map is open?

Quotient map from $X$ to $Y$ is continuous and surjective with a property : $f^{-1}(U)$ is open in $X$ iff $U$ is open in $Y$. But when it is open map? what condition need?
5
votes
0answers
50 views

Why do we give $C_c^\infty(\mathbb{R}^d)$ the topology induced by all good seminorms?

Briefly, my question boils down to the following: What benefits do we gain from considering the space of test functions in the topology induced by all "good" seminorms, as opposed to other topologies ...
5
votes
0answers
44 views

A game may related to graph theory or topology

Last Sunday, I played a game with a group of people. The game is as follows: A group of people form a circle as shown below: Each person must remember how he/she is linked with his two neighbours. ...
5
votes
0answers
76 views

Can any space be seen as the boundary of some other space?

For example two points can be seen as the boundary of a line segment in $\mathbb{R}$. The plane $\mathbb{R}^2$ can be seen as the boundary of some set in $\mathbb{R}^3$ and so on. Can any set be seen ...
5
votes
0answers
91 views

Topological Spaces and Topological Equivalence

My professor gave us the following question while covering Topological Spaces Find a list of Topologies $\mathcal{T}_1, \mathcal{T}_2,..., \mathcal{T}_n$ on $X=\{1,2,3\}$ such that for every ...