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)

2
votes
1answer
23 views

Example of colimit of Hausdorff spaces which is not Hausdorff

In http://mathoverflow.net/questions/195248/co-hausdorffification, it is mentioned that the subcategory of Top consisting of Hausdorff spaces is not closed under colimits. The simplest colimit I ...
0
votes
0answers
17 views

Why use class multiplication in Homotopy groups?

This is a related to a physics question Why use class multiplication to describe topological entangling and merging?. In physics, the homotopy theory is used to describing topological defects in order ...
0
votes
1answer
16 views

Base for the Topology Generated by a Family of Semi-norms?

Let $\mathscr{P}$ be a family of semi-norms on a $\mathbb K=\mathbb R$ or $\mathbb C$ vector space. Can anyone help me showing the collection $$\mathscr{B}:=\left\{\bigcap_{j=1}^n B_{p_j}(x, ...
1
vote
1answer
22 views

Wheel Graphs and Dimension of Embeddings

I'd like to preface this by saying this is the tip of the iceberg for an optional question for a summer REU program application, so if you think asking this question is in bad taste, let me know and I ...
2
votes
2answers
30 views

Specific Question About Open/Close Sets.

So I had a question about open/close subsets because we started this in Topology today. So let's take an closed subset of $\mathbb{R}$ so, for example $X = [-2, 2]$. Let's say I want to compare if a ...
1
vote
1answer
24 views

Different definitions of subnet

I encountered two different definitions of subnet. The first is Let $(I, \preceq_I ), (J,\preceq_J )$ be two directed sets and $X$ be the underlying set.$\{ \eta_j \}_{j \in J}$ is a subnet of $\{ ...
0
votes
1answer
27 views

Deforming $\text{id}: S^1 \to S^1$ to the symmetry $S^1 \to S^1$ such that $x \mapsto -x$

I am trying to find a deformation retraction of $\text{id}: S^1 \to S^1$ to the symmetry $S^1 \to S^1$ such that $x \mapsto -x$. I guess this deformation of maps has to respect all homotopy rules, ...
1
vote
0answers
9 views

Parametrizing regions of complex plane

Let $\Omega=\mathbb{C}\setminus \lbrace t e^{it} \ \vert t \in \mathbb{R}_{\geq0} \rbrace$ I need to write $\Omega= \coprod_{i=0}^{\infty} R_i$ where each $R_i$ is the region bounded by from $t=2k ...
-1
votes
0answers
29 views

Mackey Topology

Let $C$ be a convex subset of the unit ball of $L^{\infty}$. Show that if $C$ is closed in the topology induced by the standard $\|\cdot\|_p$ norm for some $p>1$, then $C$ is closed in the Mackey ...
1
vote
1answer
21 views

Complete metric space, fixed point and ?reverse? fixed point theorem.

Let $(X,d)$ be a complete metric space, let $F: X\rightarrow X$ such that $$\exists L > 1, \forall (x,y)\in X^2, d(F(x),F(y))>L\cdot d(x,y).$$ Show that if $F(X)=X$ then there is exactly one ...
0
votes
1answer
28 views

Questions of Hyperspace of Compact Sets

Let $K(X)$ the space of all non-empty compact subsets of $X$ equipped with the topology from the Hausdorff metric. if $X$ is metrizable and $K_n\in K(X)$, $K_1 \supseteq K_2 \supseteq \ldots$. Then ...
0
votes
1answer
43 views

Do $X\times Y$ and $X_c\times Y$ have the same compact subsets?

Given a space $X$ and a collection of subspaces $X_\alpha$ whose union is $X$, these subspaces generate a possibly finer topology on $X$ by defining a set $A\subset X$ to be open iff $A\cap X_\alpha$ ...
1
vote
1answer
23 views

Can we deform continuously $\text{id}:\mathbb{R}^2 \to \mathbb{R}^2$ into the constant map $\mathbb{R}^2 \to \mathbb{R}^2?$

Can we deform continuously $\text{id}:\mathbb{R}^2 \to \mathbb{R}^2$ where $(x,y) \mapsto (x,y) $, into the constant map $\mathbb{R}^2 \to \mathbb{R}^2$ (where I guess $(x,y)\mapsto (0,0)\,\,$)?$ I ...
0
votes
0answers
27 views

Attaching maps in a product cell complex

This is a follow-up to those two questions: Cartesian product of two CW-complexes, and Product of CW complexes question. Consider two cell complexes $A$ (with cells $e^m_\alpha$ and attaching maps ...
0
votes
1answer
16 views

Proper holomorphic maps and the degree of the map

Suppose f is holomorphic and maps U onto V, both being disks. If f is proper, does this induce a well defined degree for f? And does the converse hold? What are some tools that can help me see if ...
3
votes
0answers
14 views

Two non-homeomorphic spaces with continuos bijective functions in both directions

I was asked the following question: if two topological spaces $X, Y$ are such that there exist a function $f:X\rightarrow Y$ continuos and bijective and a function $g:Y\rightarrow X$ continuous and ...
0
votes
0answers
58 views

A question about CW complex

Given a space $X$ and a collection of subspaces $X_\alpha$ whose union is $X$, these subspaces generate a possibly finer topology on $X$ by defining a set $A\subset X$ to be open iff $A\cap X_\alpha$ ...
2
votes
0answers
31 views

Doubt about proof of factorization $f=pi$, where $i$ is acyclic cofibration and $p$ is fibration

I try to understand a proof in More Concise Algebraic Topology: Localization, completions and model categories by May & Ponto (pdf). The proof is on page 262, and it is for the statement Any ...
0
votes
0answers
30 views

A question about compactly generated topology

Given a space $X$ and a collection of subspaces $X_\alpha$ whose union is $X$, these subspaces generate a possibly finer topology on $X$ by defining a set $A\subset X$ to be open iff $A\cap X_\alpha$ ...
0
votes
1answer
27 views

Order topology on a subset may be weaker (but never stronger) than the subspace topology

If $X$ is a linearly ordered set, the topology $\mathcal{T}$ generated by the sets $\{x:x<a\}$ and $\{x:x>a\}$ ($a \in X$) is called the order topology. Suppose $Y$ is a subset of $X$, show ...
1
vote
1answer
20 views

Converse of the Uryshon metrization theorem

Uryshon metrization theorem says that every regular and second countable topological space is metrizable. My question, is the converse of this theorem ture ? If not, what are the counter examples? ...
0
votes
1answer
12 views

from each one-third part that eliminated in construting the Cantor set pick a point, what apout the resulting set?

During constructing the cantor set, pick up a point from the one-third that eliminated. if we call the set of this points A, then what is the internal of A? is the complement of A countable?
0
votes
1answer
31 views

Characterisation of the order topology on a linearly ordered set

If $X$ is a linearly ordered set, the topology $\mathcal{T}$ generated by the sets $\{x:x<a\}$ and $\{x:x>a\}$ ($a \in X$) is called the order topology. If $a, b \in X$ and $a<b$, there ...
2
votes
0answers
25 views

Is a countable product of open intervals homeomorphic to $\mathbb{R}^\omega$?

Fix countably many intervals $(a_i,b_i) \subset \mathbb{R}$, and let $\pi_{i \in \mathbb{N}} (a_i,b_i)$ be their Cartesian product with the product topology. Question: is $\pi_{i \in \mathbb{N}} ...
0
votes
1answer
30 views

how to prove matrix addition is continuous under certain matric topology?

let $A,B$ be $m \times n$ matrices . $\|A\|$ := the square root of sum of (individual entry square) (hope it's clear :P) $d(A, B) = \|A − B\|$, already proved that $d$ is a metric. (1)now proved ...
1
vote
0answers
23 views

Density character of a metric subspaces

Is it true that if $M$ is a metric space and $N$ is a metric subspace of $M$ (I mean, $N\subseteq M$ and the metric defined on $N$ is the same metric on $M$ restricted to $N$) then the density ...
1
vote
2answers
32 views

Every $p$-norm ($p \in [0,\infty]$) generates the same class of open sets on $\mathbb{R}^n$

The following claim has been made in my multivariable analysis class, and I think I have the idea of the proof but I can't quite seem to get down to the rigorous proof the instructor wants: Every ...
1
vote
0answers
22 views

Derivatives in Topological Vector Spaces and General Spaces

I know that we may have a function $f$ such that all the directional derivative of $f$ in some topological vector space $V$, but the derivative need not exist. Moreover, it's possible for all the ...
1
vote
1answer
82 views

Why is Klein bottle non-orientable?

I am doing the homework of differential geometry and encounter this problem: The Klein bottle $K^2$ is defined to be the identification space $$[0, 1] \times [0, 1]/{\sim}, \text{ where the ...
0
votes
1answer
21 views

If $X$ is a set and $\tau_1$ is finer than $\tau_2$, prove if $(X, \tau_2)$ is Hausdorff, then $(X, \tau_1)$ is Hausdorff.

I tried to do this by contradiction. So we have that $(X, \tau_2)$ is Hausdorff, and $\tau_2 \subset \tau_1$. Suppose that $(X, \tau_1)$ was not Hausdorff. Then we have elements $y,z \in X$ where ...
0
votes
1answer
34 views

Is this strengthening of paracompactness known?

Consider a topological space $X$. What can be said about the following property? For any open cover $\mathcal U = \{ U_i \}_{ i \in I }$ of $X$, there exists an open refinement $\mathcal V = \{ V_j ...
1
vote
0answers
26 views

Topology over $C^0(\mathbb{R})$

Let $C^0(\mathbb{R})$ be the set of continuous functions $f: \mathbb{R} \rightarrow \mathbb{R}$, For any continuous function $h > 0$ consider $B_f(h) = \{ g \in C^0(\mathbb{R}) : |f(x) - g(x) ...
2
votes
3answers
41 views

To show that $X = (0,1]$ is complete .

Show that $X = (0,1]$ is complete with respect to the metric $e $ where $e(x,y) = |\frac{1}{x} - \frac{1}{y}|$. My proof: let $(x_n)$ be Cauchy in $(X,e)$. Let $(t_n) := \frac{1}{(x_n)}$. Then ...
0
votes
0answers
24 views

Homology of Subspace vs. Homology of Ambient Space.

Let $M$ be a manifold embedded in $\mathbb R^n$ , so that the manifold has non-trivial $k-th$ homology for some $n \geq k\geq 0$ . How do we identify the fact that while there is a non-trivial cycle ...
3
votes
1answer
26 views

Non-homeomorphic (?) subspaces of Euclidean plane

Let $Y_1 = \bigcup_{n=1}^{\infty}I((0,0),(\frac{1}{n},\frac{1}{n^2}))$ and $Y_2 = \bigcup_{n=1}^{\infty}I((0,0),(1,\frac{1}{n})) \cup I((0,0),(1,0))$ where $I$ denotes line segment in Euclidean space. ...
0
votes
1answer
40 views

Prove that $\mathbb{Z}$ is a closed subset of $\mathbb{R}$ [duplicate]

Let $\mathbb{Z}$ and $\mathbb{Q}$ represent the integers and the rationals, respectively. (a) Prove that $\mathbb{Z}$ is a closed subset of $\mathbb{R}$. ...
0
votes
1answer
19 views

describe/sktech a picture of b1((0,0)).

I have attached an image of the problem I need help with b and c B i know a circle with a ball centered at the orgin and the set of points less than 1. and c how do i use triangle inequality?
2
votes
1answer
26 views

$T$ is bijective and homeomorphism.

Suppose $X$ be the set of all polynomial with real coefficients in one variable with norm $$\|p(x)\|=|a_0|+|a_1|+\dots+|a_n|$$ where $p(x)=a_0+a_1x+\dots+a_nx^n$ which induces a metric ...
0
votes
1answer
36 views

How to prove this statement?

I cannot prove this proposition directly . Let $(X,d)$ and $(Y,d')$ be metrice spaces. Let $f$ be a function from $X$ to $Y$. If $\overline{f^{-1} ( B)} \subseteq f^{-1}( \overline B)$ for all ...
5
votes
3answers
19 views

To show that $d $ and $ e$ are equivalent.

On the set $X = (0,1]$, consider the usual metric $d(x,y) = |x-y|, (x,y \in X) $ and another function $e: X\times X \to R$ given by $e(x,y) = |\frac{1}{x} - \frac{1}{y}|$. Show that $d $ and $ e$ ...
2
votes
3answers
40 views

Prove the intersection of a compact set and a set with no accumulation points is finite

Let $S\subset\mathbb{C}$. We say that $z_0$ is an accumulation point of $S$ if for every $r>0$, the intersection $D(z_0,r)\cap S$ is an infinite set. Let $U\subset\mathbb{C}$ be an open set such ...
0
votes
2answers
54 views

Showing that stereographic projection is a homeomorphism

For any $n\geq 0$,the unit $n$-sphere is the space $S^{n}\subset \mathbb{R^{n+1}}$ defined by $$S^{n}=S^{n}(1) :=\left\{ (x_{1},...,x_{n+1}) \left\vert\,\sum_{i=1}^{n+1} x_{i}^{2}=1\right.\right\}$$ ...
0
votes
1answer
28 views

about a sequence of isometries' convergency.

Let $M$ be a compact metric space, let $(i_n)$ be a sequence of isometries: $M \rightarrow M$. I've already showed that there exists a subsequence $(i_{n_k})$ that converges to $i$ which is also a ...
0
votes
1answer
19 views

Precompactness vs. Separability

I was always wondering... Given a metric space. To what extend do these notions differ: $$\Omega\text{ precompact}\implies\Omega\text{ separable}$$ (Precompactness meaning totally bounded.)
6
votes
1answer
40 views

Books or texts on singularity theory

So a friend is doing his PhD in maths (algebraic topology) and his advisor wants him to publish something on singularities (of which, as fas as I understand, he knows next to nothing). I want to give ...
0
votes
0answers
16 views

>If $A$ is an uncountable subset of a space whose topology has a countable base, then some point of $A$ is an accumulation point of $A$. [duplicate]

If $A$ is an uncountable subset of a space whose topology has a countable base, then some point of $A$ is an accumulation point of $A$. I've shown that there is an injection from A to the power ...
2
votes
1answer
36 views

Strange Quotient space $X / \mathbb{Z}$

For a practice-exam exercise I am trying to understand why $X/ \mathbb{Z}$ is homeomorphic to $S^1$. Here, $X = (-1,\infty)$, and $\mathbb{Z}$ is acting as an additive group on $X$ with the action: ...
6
votes
3answers
90 views
+100

Series convergence and compact space

Let $K$ be a compact topological Hausdorff space. $\{x_n\}_1^\infty \subset K $ such that $x_i \not= x_j, i \not=j$ and $\{a_i\}_1^\infty \subset \mathbb{K}$. Show the folowing are equivalent: for ...
1
vote
0answers
57 views

Equivalence of sigma algebras on the set of probability measures.

I was wondering if somebody could help me see/provide a reference to the following fact: Let $X$ be a metrizable set, $\mathcal{F}$ the corresponding Borel sigma-algebra on $X$, and ...
3
votes
2answers
62 views

Finite groups and topological spaces

Can we connect topological spaces with groups as: For topological space $X$ take biective homomorfisms $\phi: X\to X$, then divide such homomorphisms on classes of equivalency $\phi_1 \equiv\phi_2$ ...