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)

1
vote
0answers
53 views

Textbooks to complete concurrently - Self learning empowerment

A user is completing some year challenge that takes them through $9$ textbooks and they are alternating in author. Algebra - Cohn Analysis - Rudin Topology - Lee Repeat three times. I would like ...
1
vote
0answers
38 views

Separated Spaces and a Partition Differences?

I am just getting a handle on separated definitions from Topology , reading Munkres. So the definition of a separated subsets of a topology, is that they are both disjoint. Further, if each subset ...
1
vote
0answers
15 views

Closed square homemorphic to the surface of a cube?

Is the closed square in $\mathbb{R}^2$, i.e. $[0,1]^2$ homeomorphic to the surface of the cube in $\mathbb{R}^3$? If they are, is there an explicit homeomorphism? I'm looking for something more solid ...
1
vote
0answers
20 views

Find all regions formed by a set of circles

I was doodling with Python to draw some circles, and I was able to find all intersection points of a set of random circles, yay ! Now I'm stuck on a question, is there a way to find all regions ...
1
vote
0answers
14 views

Fundamental domain for a $C_2$-action on a Stone space

The following result seems to be true (I can prove it, only quite indirectly): Let $X$ be a Stone space (i.e. a compact totally disconnected Hausdorff space) and $\sigma : X \to X$ be a ...
1
vote
0answers
17 views

Topology of the intersection of toric arrangement

Hope someone will help me in the solution of the following question. I'm working on some topological problem involving the topology of the intersection of some characters of the torus. I want ot find ...
1
vote
0answers
8 views

Bounded uniform space

I studied that we do have a concept of total boundedness in a uniform space. I was thinking whether we have a concept of boundedness also in a uniform space (that need not be a metric space). Can ...
1
vote
0answers
46 views

Fix point theorem for measures? metric on space of measures?

I have the following problem: I consider a probability space $(\Omega, \mathcal{F}, \mu)$ where $\Omega= C_0([0,1])$ (space of continuous functions on $[0,1]$ starting from 0), $\mathcal{F}$ is a ...
1
vote
0answers
17 views

closure of rationalsmin topology

Why is the closure of the rationals Q, the reals R ? Is it because the irrational numbers are only considered part of the set of rationals Q in its closure? Aside: Good thorough website to learn ...
1
vote
0answers
63 views

General definition of piecewise continuity

Is there a general definition of piecewise continuity for functions between topological spaces ? Of course one can intuitively says that $f: X \rightarrow Y$ is piecewise continuous if for every ...
1
vote
0answers
29 views

Trigonometric polynomials are dense

Is the set of all trigonometric polynomials in the space of continuous functions on [$-\pi,\pi]$ which are $2\pi$-periodic dense?(with sup-norm topology)Please give hints on how to find a sequence of ...
1
vote
0answers
39 views

Group of Orientation-preserving Homeomorphisms of the Reals.

Let $h: \mathbb{R}\rightarrow\mathbb{R}$ ; $\mathbb{R}$ Reals be an orientation-preserving homeomorphism. I can see $h$ includes linear maps $h=ax+b$ with $a>0$ . Can we say that every ...
1
vote
0answers
51 views

Face post of a subcomplex complement

Let $P$ denote the face poset of a simplicial complex, $\Delta$ the order complex of a poset, and $\simeq$ homotopy equivalence. It's known that for any finite simplicial complex $\mathcal{K}$ that ...
1
vote
0answers
84 views

Definition and Intuition of a Weakly Dense Set

What does it mean to say: set A is "weakly dense" in a set B? The definition of a "dense set" is rather intuitive: the classic example of Q (rationals) being dense in R (reals) is very clear. How ...
1
vote
0answers
43 views

Conceptual proofs to seven color theorem of torus for 17-19 year olds

what is the best way to explain the seven color theorem of torus to some high school kids and freshman college people?
1
vote
0answers
37 views

question about Skorokhod distance

Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$ ...
1
vote
0answers
60 views

Is $\mathbb{Q}^{\infty}$ first countable?

Give $\mathbb{R}^{\omega}$ the box topology. Let $\mathbb{Q}^{\infty}$ denote the subspace consisting of sequences of rationals that end in an infinite string of 0's. I'm thinking that since ...
1
vote
0answers
56 views

Proving that the set is closed.

We use the sequential definition to prove a set is closed. So no continuity or closure or anything related to the topology of the set is allowed. Show $A = \{ x \in \ell^2: |x_n| \leq 1/n \}$ is ...
1
vote
0answers
18 views

Why $\prod_{n\in \mathbb N}\left([-2^{-n},2^{-n}]\cap\mathbb Q\right)\subset l_2$ is countable and dense in $l_2$?

Why $$\prod_{n\in \mathbb N}\left([-2^{-n},2^{-n}]\cap\mathbb Q\right)\subset l_2$$ is countable and dense in $l_2$? Please explain. My attempt I just try to relate with $\mathbb Q ^\mathbb N$. But ...
1
vote
0answers
82 views

Finite graph products of finite groups have free subgroup of finite index

This is a problem in Hatcher's Algebraic topology. Show that a finite graph product of finite groups has a free subgroup of finite index, by constructing a finite-sheeted covering space of $K\Gamma$ ...
1
vote
0answers
31 views

$\text{span} \{ e_t \cdot w : t \in \mathbb{R} \}$ dense in $C_0(\mathbb{R}_+)$.

Let $\mathbb{R}_+ := [0,\infty )$ and let $w \in C_0(\mathbb{R}_+)$ be any function with $w(x) \neq 0$ for all $x \geq 0$. Why is $\text{span} \{ e_t \cdot w : t \in \mathbb{R} \}$, where $e_t(x) := ...
1
vote
0answers
27 views

Explain the Concept of “endedness”

Particularly spaces that are one-ended, two-ended, ... $k$-ended. Can anyone explain via simple examples? Also why two spaces with different ended-ness are not isomorphic.
1
vote
0answers
38 views

Is there any standard procedure to properly define a composite metric?

For example, space $A$ has a metric $\rho$, and its subspace $B\subset A$ has a metric $d$, which happens to have much better properties than $\rho$. So if $x_{1},x_{2}\in A\setminus B$, but they are ...
1
vote
0answers
58 views

Hilbert's hotel with uncountably infinite rooms: can you fit $\mathbb R^2$ guests?

I'm trying to expand on Hilbert's paradox. The original version states that: Suppose there is a hotel with a countable infinity of rooms (eg. $\mathbb N$), all of which are occupied. ...
1
vote
0answers
18 views

alternative to limit of a mapping between topological spaces.

Let $f$ be a mapping between two topological spaces $X$ and $Y$. $\lim_{x \to x_0} f(x) = y$ is defined as for any open set $U_y$ containing $y$, there exists an open set $V_x$ containing $x$, so that ...
1
vote
0answers
38 views

$f:U \rightarrow \mathbb{C} $ is continuous on $U$ if and only if {$z \in U| f(z)\in V$} is open for every open set V in $\mathbb{C}$

I want to prove that if $f:U \rightarrow \mathbb{C} $ is continuous on $U$ if and only if {$z \in U| f(z)\in V$} is open for every open set V in $\mathbb{C}$. This is my rather incomplete approach to ...
1
vote
0answers
61 views

Point-set topology - derived sets, boundaries, etc.

Consider the metric space $(\mathbb R^2,\sigma)$, where $\sigma$ is the discrete metric. Let $$E=\lbrace(x,y)\in \mathbb R^2 : x^2+y^2<1 \rbrace$$ i.e. the unit disc. Find the following sets ...
1
vote
0answers
39 views

Is there a model of set theory in which $2^{2^{\omega_1}}$ is separable?

We know that $2^{\mathfrak c^+}$ ($\mathfrak c =2^\omega=|\mathcal P (\omega)|$) is not separable by the following argument: Suppose $D$ is countable dense in $2^{\mathfrak c^+}$. For each ...
1
vote
0answers
40 views

Showing a subset of $\;\Bbb R^2\;$ cannot be the set of limit points of any other set

I will appreciate any insight in the following proof (if, indeed, it is a proof): Let $$F:=\left\{\;(x,y)\in\Bbb R^2\;;\;\;xy\in\Bbb Q\;\right\}$$ Prove that there doesn't exist $\;A\subset\Bbb ...
1
vote
0answers
64 views

Circle rotation number invariant under topological semi-conjugacy.

For a circle homeomorphism $f: S^1 \rightarrow S^1$ we can define the the rotation number $$ \rho(f) = \lim_{n \rightarrow \infty} \frac{1}{n}(F^n(x) - x) \mod 1, $$ for a lift $F:\mathbb{R} ...
1
vote
0answers
73 views

Path-connected, simply connected subsets of $\mathbb{R}^n$

A discussion in my topology class caused me to have the following question: Given $A,B \subseteq \mathbb{R}^n$, where $A$ and $B$ are both path-connected and simply connected, need $A$ and $B$ be ...
1
vote
0answers
47 views

Why are empty measurable spaces and empty topological spaces not desirable?

The definition of a $\sigma$-field $\mathscr{F}$ on a set $X$ (or $\sigma$-ring) requires $\mathscr{F}$ to be a non-empty subset of $\mathscr{P}(X)$. Why is this convention taken? What is the issue ...
1
vote
0answers
70 views

Volterra operator and completely continuous operators

Consider the Volterra operator $V$ defined here. Let me give some definitions first: [Dunford-Pettis] We say that a bounded linear operator $D:L_1[0,1]\to L_1[0,1]$ is Dunford-Pettis if it sends ...
1
vote
0answers
157 views

Regarding metrizability of weak/weak* topology and separability of Banach spaces.

Let $X$ be a Banach space, $X^*$ its dual, $\mathcal{B}$ the unit ball of $X$ and $\mathcal{B}^*$ the unit ball of $X^*$. The following result is well-known Theorem. If $X$ is separable, then ...
1
vote
0answers
56 views

Problem about compact subspace of Hilbert cube.

This is my problem: I have already completed part (i), but I really can't see how I can relate compact subspace with homeomorphism in part (ii). Please give me some ideas.
1
vote
0answers
59 views

Diffeomorphism and hyperbolic points

Suppose $f$ is a diffeomorphism.Prove that all hyperbolic periodic points are isolated. I tried using the mean value theorem using two diferent periodic points (assuming the periodic points arent ...
1
vote
0answers
62 views

Are Borel sets preserved by an open continuous map?

Does an open, continuous function defined on a compact metric space to itself send Borel sets to Borel sets?
1
vote
0answers
193 views

The topology generated by open intervals of rational numbers

Let $B = \{ \mathbb{R} \} \cup \{ (a,b) \cap\mathbb {Q} \ ,\ a\lt b \ ,\ a,b \in\mathbb{Q}\}$ Thus, a set $V \in B$ if it is either equal to $\mathbb{R}$ or if it is in the intersection of ...
1
vote
0answers
64 views

A sufficient condition for the composition of covering maps to be a covering map

Let $q:X \rightarrow Y$ and $r:Y \rightarrow Z$ be covering maps and $p= r \circ q$. If $r^{-1}(z)$ is finite for all $z \in Z$, then $p$ is a covering map. Now I found the following proof: ...
1
vote
0answers
25 views

Ribbon Surfaces and Legendrian Graphs on Contact 3-manifolds.

Let $M=(M, \xi)$ be a contact 3-manifold. I am trying to show that every Legendrian graph L (i.e., a graph embedded in $M$ so that it is everywhere-tangent to the contact planes) admits a ribbon ...
1
vote
0answers
46 views

Stuck on continuity proof (like 8 sheets of A4…) $p_if$ is cont. iff $f$ is cont, $p_i:X\rightarrow X_i$ given by $p_i(a)=a_i$ for $a=(a_1,…,a_n)$

Let $Y$ be a metric space, let $f:Y\rightarrow X$ where $(X,d)$ is a metric space given by $X=\prod^n_{i=1}X_i$ equipped with the stadard metric ($\max$) I wish to prove $f$ is continuous iff ...
1
vote
0answers
67 views

Find the closure of $\mathbb{R}^{\infty}$ in $\mathbb{R}^w$ under the box topology

Find the closure of $\mathbb{R}^{\infty}$ in $\mathbb{R}^{\omega}$ under the box topology. Note: $\mathbb{R^{\infty}}$ is the set of all sequences $(t_1,t_2,...)$ such that $t_i\not=0$ for only ...
1
vote
0answers
27 views

Intuitive affirmation on convex sets

Let $D_1, D_2$ two open, bounded and convex domain in $R^n$. Suppose that $D_2 \supset \overline{D_1}$, and the boundaries of these sets are of class $C^1$. Fix $x \in \partial D_1$ and suppose that ...
1
vote
0answers
30 views

Seperating neighborhoods of infinite sets in normal topological spaces

Let $(T,\tau)$ be a normal topological space, let $(x_n)_{n\in \mathbb{N}}\subset T$ be a discrete subset. Are there disjoint neighborhoods $U_n(x_n)\in\tau$?
1
vote
0answers
187 views

Prove that every subset of $\mathbb{R}$ is compact in the finite complement topology.

I need help with my proof in particular. I am aware that there is a similar question elsewhere. Can someone please verify my proof or offer suggestions for improvement? Prove that every subset of ...
1
vote
0answers
36 views

Computing the tangential and cross components of one quantity using gnomonic projection

I have a spin-2 field given called shape distortion of galaxies as $$\gamma=\gamma_1+i\gamma_2=|\gamma|e^{-2i\phi}$$ where $\phi$ is the orientation angle. If this quantity has been measured on ...
1
vote
0answers
37 views

Question about holomorphic proper maps

Let $U, V$ be connected open subsets of $\mathbb{C}$ and $f: U \to V$ which is holomorphic and proper. I am trying to show that $f$ is onto. Here is my attempt at a proof. Let $A = \{v \in V: ...
1
vote
0answers
32 views

On characterization of Riesz homomorphisms on $C(X)$ space

How to prove the following: Let $K$ be an arbitrary topological space and $\pi: C(K)\to\mathbb R$ be a map with $\pi (1) = 1$. If $\pi$ is a algebra homomorphism then it is an Riesz homomorphism.
1
vote
0answers
32 views

Canonical choice of inverse system for profinite set.

Let $X$ be a profinite set - an inverse limit $\varprojlim X_i$. How can one prove that then $X=\varprojlim Y_i$, where $Y_i$ is finite quotient spaces of $X$? I may prove it if $X$ is topological ...
1
vote
0answers
41 views

Which part of differential geomety uses metrization theorems?

I learned three metrization theorems last year, which are Nagata-Smirnov,Smirnov and Bing. I thought these theorems are purely topological theorems, but i recently saw a post which says these ...