General topology

For any discussions about general topology. For instructions how to render MathJax(TeX) in chat see http://meta.math.stackexchange.com/a/3297 "Sets are not doors"
2d ago – Jakobian
52

export all events for this room

Starred posts

1 2 3
Jul 9 18:47
For a topological space $X$ we can consider a space $kX$ with $kX = X$ as a set, and $A\subseteq kX$ closed iff $A = X$ or $A$ is compact closed subset of $X$.
Jun 17 05:17
Hi, is there any chatroom for discussing Differential Topology and Riemannian Geometry? Kindly let me know
May 22 16:15
instead it corresponds to a map $Y\to X$ where $Y = \omega_\alpha+1$ as set but $\gamma < \omega_\alpha$ are all isolated
May 22 16:14
My bad, this will fail because a transfinite net $x_\alpha$ does not correspond to a continuous map $\omega_\alpha+1 \to X$ like it does for sequences
May 21 13:57
I suspect this might be generalized to pseudoradial spaces
May 8 18:55
Mar 26 19:37
$\text{Homeo}(X)$ for locally compact Hausdorff space $X$ is a paratopological group (theorem 3.5.4, Topological Groups and Related Structures, Arhangel’skii, Tkachenko), but not necessarily a topological group (example 3.5.6)
Dec 28, 2024 08:14
Happy Holidays!
May 14, 2024 00:42
user image
2
Apr 14, 2024 05:13
Just a reminder - to read MathJax/LaTeX in chat you can use the bookmarklet mentioned in this post on meta or go directly to robjohn's website: math.ucla.edu/~robjohn/math/mathjax.html
May 31, 2023 18:24
Are there examples of perfectly normal (i.e. $T_6$) pseudocompact noncompact spaces?
2
Feb 28, 2024 15:14
Here is the direct link to the blog post in question: A little corner in the world of set-theoretic topology. The previous link went to all posts tagged L-space.
Feb 22, 2024 22:14
An $S$-space is a $T_3$ hereditarily separable space that's not Lindelof. An $L$-space is a $T_3$ hereditarily Lindelof space thats not separable.
Jan 23, 2024 18:45
Every Hausdorff door space is scattered
Jan 16, 2024 19:33
If $Y$ is Frechet-Urysohn and exhaustible by compact sets, then every locally compact Hausdorff quotient of $Y$ is Frechet-Urysohn
Sep 5, 2022 01:36
Henno Bransdma :) ..I miss him too. His answers so beautiful, and clear, and he showed kindness when someone asked for doubts. He helped me a lot, when i was taking my undergrad first general-topology course, and that's why I included him in the acknowledge of my thesis;
2
Sep 2, 2023 03:39
Let $f : [0,1] \to [0,1]^2$ be an Osgood curve. Is the upper bound of Lebesgue measure of $f([0,1])$ known?
Aug 22, 2023 17:19
Mary Rudin raises two questions in this lecture
1. Is there a connection between Suslin lines and Dowker spaces of certain kind
2. How does box products behave with respect to normality and paracompactness
Aug 22, 2023 17:19
Are those questions concluded anyhow in modern day?
Aug 11, 2023 22:39
Any sufficient conditions on a cofinal $\mathcal{B}\subseteq \tau$, without referencing elements of the base set, which imply that $\mathcal{B}$ is a basis?
Jun 17, 2023 19:07
@math-physicist if we want to go a similar route, we can exchange second-countable with $\sigma$-locally finite base
Jun 14, 2023 16:09
It's a counter-example to the following spaces not being closed under subspaces: sequential, g-first countable, g-second countable, g-metrizable, symmetrizable.
Jun 14, 2023 14:42
BTW this space seems to be called Deleted integer topology: Wikipedia.
Jun 14, 2023 12:03
Let $X = \{0\}\cup \mathbb{N}\cup \mathbb{N}\times \mathbb{N}$ be the Arens space, then $X$ is symmetrizable but $X\setminus \mathbb{N}$ is not
Jun 14, 2023 07:26
Is limit point compactness equivalent to sequential compactness?
Jun 12, 2023 07:12
1
A: What is your favorite proof of Tychonoff's Theorem?

Martin SleziakThis proof can be considered a variation of the proof using ultrafilters on $X$. I want mainly to point out that we can avoid transferring the ultrafilters through the projections if we use a slightly more general characterization of compactness using ultrafilters.$\newcommand{\FF}{\mathcal F}\ne...

Jun 8, 2023 14:05
Topology is interesting :)
Jun 6, 2023 13:28
@Koro Well, since you already know that $(r',r)\in U$, you're almost done.
Jun 6, 2023 12:45
Let Z be the set of all irrational nos. How do I show that $\mathbb R^2\setminus Z^2$ is connected?
May 31, 2023 19:08
This is shown in the paper "On Countably Compact, Perfectly Normal Spaces" by J. Ostaszewski
May 31, 2023 18:45
so my example of $\omega_1$ is the best we can hope for without any additional set-theoretic assumptions (i.e. $T_5$ pseudocompact non-compact space)
May 31, 2023 18:44
@SouravGhosh you might be interested, this is why no explicit examples of $T_6$ psuedocompact non-compact spaces exist
May 31, 2023 18:40
ZFC+'CH' implies there is $T_6$ pseudocompact non-compact space, but ZFC+'not CH'+'Martin's axiom' implies that any $T_6$ pseudocompact space is compact.
May 2, 2023 10:20
Recently I noticed that... a homotopy is just a path in the function space (in compact-open topology).
Nov 3, 2021 17:49
A reminder that info on MathJax in chat can be found in this post on meta or the bookmarklet can be obtained directly from robjohn's website.
2
Feb 16, 2023 13:34
Suppose that $f:X\to Y$ is a homotopy equivalence, i.e., f is continuous and there exists a continuous function g:Y-->X, fog=$1_Y, g\circ f=1_X$. I want to understand what the following means: "If one rewrites this definition, one sees that f is a homotopy equivalence iff $[f]\in [X,Y]$ is an equivalence in hTop."
Jan 2, 2023 16:30
> That $X_i$ is locally compact for all $i$ whenever $X = \prod_i X_i$ is follows as all $X_i$ are continuous open images of $X$, and such maps preserve local compactness in general.
Nov 25, 2022 19:08
Is there a proof available on math.se that linearly ordered spaces are hereditarily normal? I am preparing such (simple) proof and I could contribute it if no such proof exists.
Nov 23, 2022 07:55
$$A_N(\varepsilon) = \bigcap_{m,n\ge N} \{x; d(f_n(x),f_m(x))\le\varepsilon$$
Nov 5, 2022 20:04
2
Q: A quick question about Theorem 24.1 of Munkres.

Donald Obama Can someone please help me understand why the underlined statement must be true. Why must there be a $d$ in $B_0$ less than $c$? Why can't $c$ be the smallest element of $B_0$?

Nov 5, 2022 20:04
I have precisely the same question and none of the answers there explains why (c,d] is open.
Oct 31, 2022 10:25
5
Q: Characterizing continuous, open and closed maps via interior and closure operators

Paul FrostA function $f :X \to Y$ between topological spaces $X,Y$ is defined to be continuous if $f^{-1}(V)$ is open in $X$ for all open $V \subset Y$, open if $f(U)$ is open in $Y$ for all open $U \subset X$, closed if $f(C)$ is closed in $Y$ for all closed $C \subset X$. Many questions in math.stac...

Oct 24, 2022 10:34
Note the following: $X$ is Tychonoff iff $X$ has a basis of cozero sets, $X$ is normal iff disjoint closed sets are contained in disjoint zero sets, $X$ is perfectly normal iff open and cozero sets of $X$ are the same.
Oct 24, 2022 10:30
How could hereditarly normal spaces be described using the concept of cozero and zero sets, that is $A$ is a zero set whenever we can write $A = \{x : f(x) = 0\}$ for $f:X\to \mathbb{R}$ continuous, and cozero set is a complement of set of above form.
Oct 24, 2022 07:43
Whenever $t\ne 0$ you have $\rho(f(0),f(t))=1$.
Jun 21, 2022 09:42
Is Munkres pronounced mʌnkres or munkres?
May 18, 2022 10:33
Number of questions tagged [tag:general-topology per month: data.stackexchange.com/math/query/1073716/…
Apr 13, 2022 11:08
In mathematics, in the field of topology, a topological space is said to be a door space if every subset is open or closed (or both). The term comes from the introductory topology mnemonic that "a subset is not like a door: it can be open, closed, both, or neither". == Properties == Here are some facts about door spaces: A Hausdorff door space has at most one accumulation point. In a Hausdorff door space if x {\displaystyle x} is not an accumulation point then { x } {\displaystyle \{x\}} is open...
Apr 10, 2022 05:39
One thing that might be occasionally confusing that there are two different things called Baire space.
1 2 3