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
25 views

Injectivity in the zero homology

I'm struggling with following step in an excercises about Mayer-Vietoris sequences: In one step the solution says this map is injective since $A \cap B$ is path-connected: $$ H_0(A \cap B) ...
1
vote
1answer
39 views

Property of Nowhere Dense Sets

I am trying to prove the following statement regarding nowhere dense sets: "In a metric space X, the frontier of an open set is the set of accumulation points of a discrete set." As far as my ...
2
votes
2answers
23 views

Show that if $\prod_\alpha X_\alpha$ is normal then so is $X_\alpha$.

Show that if $\prod_\alpha X_\alpha$ is normal then so is $X_\alpha$. This a question of proof-verification.So please suggest the required edits and fault in the logic but please don't give a ...
0
votes
0answers
17 views

Find interior points, boundary points, cluster points, limit points and isolated points of a set

Determine the interior points, the boundary points, the cluster points, the limit points, and the isolated points of each of the following subsets of $\mathbb R^2$. Also, classify each of the sets as ...
1
vote
0answers
24 views

Homeomorphism between product of spheres and euclidean space

I need to prove that ${S^n} \times {S^k}$ is homeomorphic to a subspace of ${\mathbb{R}^{n + k + 1}}$ by constructing an explicit map between the two. I am unsure how to start this as I can't seem ...
0
votes
0answers
25 views

Describe set of $z^2$ as z moves over 2nd quadrant and show it is open and connected

Problem: Describe the set of points $z^2$ as $z$ varies over the second quadrant: {z = x + iy; x < 0 and y > 0}. Show this is an open connected set. (Hint: use the polar representation of z.) The ...
0
votes
4answers
52 views

for $I = [0,1]$, is $I\times I$ convex in $\mathbb{R} \times \mathbb{R}$?

for $I = [0,1]$, is $I \times I$ convex in $\mathbb{R} \times \mathbb{R}$? The definition of convex seems to be that $Y \subset X$ is convex in $X$ if $\forall a < b $ in $Y$ whole of $(a,b)$ ...
1
vote
0answers
22 views

What simple topological properties of conic sections can be explored?

In the framework of my science fair project I am working on conic sections in different metric spaces. What simple topological properties/operations and so can I explore on them? Edit: To clarify, ...
4
votes
3answers
48 views

A non continuous linear map $A:\Bbb{R}[X]\rightarrow \Bbb{R}$ such that $A(P)=P(1).$

I have a linear map $A:\Bbb{R}[X]\mapsto \Bbb{R}$ such that $A(P)=P(1)$, for the $p-$norm : $\Vert P\Vert=\bigl(\sum_{i=1}^n\vert a_i\vert^p\bigr)^{1/p}$ where $p\in[1,+\infty].$ For the cas ...
2
votes
1answer
22 views

Does a neighborhood of a point include that point?

I'm working through the topology problem set in baby Rudin and I'm wondering if a neighborhood $N_r(p)$ of a point $p$ in a metric space automatically contains $p$, or just $\forall q|d(p,q)<r$, ...
2
votes
1answer
32 views

Topological spaces that remain non-metrizable, if the definition of metric space allows $d(x,y) = 0$ where not necessarily $x = y$?

In the definition of metric space, only one thing strikes me as unnatural: the requirement that $d(x,y) = 0$ implies $x = y$. As a programmer, I don't find it uncommon to deal with equivalence ...
0
votes
2answers
24 views

Proof that a subset of metric space with euclidian norm is open iff the same subset is open in metric space with Manhattan norm

For $\mathbb{R}^2$ we have the euclidian norm $$(x_1,x_2)\mapsto\sqrt{x_1^2+x_2^2},$$ and the Manhattan norm $$(x_1,x_2)\mapsto|x_1|+|x_2|.$$ Let $d_E$ and $d_M$ be the metrics defined by these norms, ...
0
votes
1answer
17 views

Connected Components of p-adic rationals

Notation: $p$ - a prime integer, $\Bbb{Z}_p$ - set of $p$-adic integers, $\Bbb{Q}_p$ - set of $p$-adic rationals, $\Bbb{Q}$ - set of rationals, $\Bbb{R}$ - set of reals. While reading up on ...
1
vote
1answer
47 views

Open or closed set in $\mathbb{R}$

I have this set $A=\left\{\frac{1}{n}|n\in\mathbb{N}\right\}$ I need to show that it is neither open or closed in $\mathbb{R}$. And that the union ...
1
vote
1answer
33 views

Is there a $T_6$ space in which a sequentially (or countably) compact subset is not closed

It is known that a $T_2$ space $X$ is $KC$, i.e. every compact subset of $X$ is closed. The space $[0, \omega_1]$ is $T_5$ but not $T_6$ and the subset $[0, \omega_1)$ is sequentially compact (and ...
1
vote
1answer
35 views

The space of continuous functions on an interval has a countable dense subset and a countable basis

Give $\Bbb R^I$ the uniform metric, where $I = [0, 1]$. Let $C(I, \Bbb R)$ be the subspace consisting of continuous functions. Show that $C(I, \Bbb R)$ has a countable dense subset, and therefore a ...
2
votes
1answer
21 views

A subspace of a mapping space?

We have a set $$ M=\{f:\mathbb{R} \rightarrow \mathbb{R}\mid f(1)>0\}\;.$$ I have never encountered this kind of set before. I assume it is correct to say that $M$ is a subspace of a mapping ...
3
votes
2answers
54 views

Familiar spaces in which every one point set is $G_\delta$ but space is not first countable

In an exercise from Munkres-Topology Article 30 the author writes that there is a very familiar space which is NOT first countable but every point is a $G_\delta $ set. What is it? Though there are ...
0
votes
1answer
34 views

If $(X,d_1)$ and $(X,d_2)$ two connected metric spaces if only if $X\times Y$ is connected metric space

$(X,d_1)$ and $(X,d_2)$ are two connected metric spaces if and only if $X\times Y$ is a connected metric space with metric $$ D((x_1,y_2), (x_2,y_2)) = \max(d_1(x_1,x_2),d_2(y_1,y_2)).$$ I know that ...
0
votes
2answers
31 views

Interior of a set in a metric space

if $E$ is a metric space nd $B\neq E$ how to prove that: $$\overset{\circ}{B}=\bigcup_{n=1}^{\infty} (\{x\in E, d(x, E\setminus B)\geq \frac1n\})$$ i don't know how to start
0
votes
3answers
50 views

Given a topological space $X$, why are both $X$ and $\emptyset$ open and closed? [duplicate]

I think this is a basic question, but it's hard to wrap my head around.
0
votes
1answer
51 views

Proof that $\{\,\left]a,\infty\right [\mid a\in\mathbb{R}\,\}\cup\{\mathbb{R} \}\cup\{\emptyset \}$ is topology of $\mathbb{R}$

Proof that $\mathcal{T}:=\{\,\left]a,\infty\right [\mid a\in\mathbb{R}\,\}\cup\{\mathbb{R} \}\cup\{\emptyset \}$ is topology of $\mathbb{R}$. I have slight trouble on writing this down.. I'll first ...
0
votes
2answers
24 views

The product topology :It's definition and coarseness

Let A be a finite set of topological spaces $\ X_\alpha $ set. Now let us consider the product set of this topological spaces P=$\ \prod_\alpha X_\alpha $. Now a topology in P , with all sets of ...
1
vote
1answer
43 views

Can binary ring for homology make life easier?

Do you know of a proof which uses homology to demonstrate a property about a topological space which is made easier (or even possible) because they work over $\mathbb{Z}/2\mathbb{Z}$ instead of ...
0
votes
1answer
38 views

Two questions on Munkres -Topology

I have two questions: If $X$ is a countable product of spaces having countable dense subsets then does $X$ have a countable dense subset? Let $X$ $=\prod_{i=1}^\infty X_i$ .Let $D_i$ denote the ...
1
vote
1answer
19 views

Example where Alexandroff compactification $X^*$ is connected but the initial space $X$ is not

Let $(X,\tau)$ be a topological space that admits a one-point compatification $(X^{*},\tau)$ (Alexandroff compatification). I know that if the space $X$ is connected, then $X^*$ is connected as well. ...
8
votes
2answers
215 views

Tweaking the axioms of a Topological Space, what are the consequences?

A topological space is a set $X$ together with a topology $\tau$ (a collection of open subsets) such that. $\emptyset\in \tau$ and $X\in \tau$. The intersection of a finite number of sets in ...
0
votes
1answer
21 views

For $U\subseteq Y\subseteq X$, prove that $U$ is open in $Y$ iff there is a $V\subseteq X$ such that $U=Y\cap V$

Let $(X,d)$ be a metric space, with $Y$ a subset of $X$. How do I prove that a subset $U\subseteq Y$ is open in the metric space $(Y,d|_{Y\times Y})$ iff there exists an open subset $V$ of $X$ ...
6
votes
1answer
42 views

Is there any result on the “counting” of minimal atlas?

Take a differentiable manifold $M$. Define $\eta(M)$ as $\min\{\#\mathfrak{A} \mid \mathfrak{A} \text{ is an atlas for $M$}\}$. For example, if $M=S^n$, we have that $\eta(M)=2$, since $S^n$ is ...
0
votes
2answers
24 views

Prove that all three metrics induces the same topology on $X_1\times X_2$

Prove that if $(X_1,d_1)$ and $(X_2,d_2)$ are metric spaces on $X_1\times X_2$ and metric $d:(X_1\times X_2)\times (X_1\times X_2)\rightarrow R$ is defined in following way: ...
0
votes
1answer
19 views

what is non trivial basis for cofinite topology on non empty set $X$ [on hold]

what is non trivial basis for cofinite topology on non empty set $X$??? when $X $ is infinite set.
-1
votes
2answers
28 views

To prove given set is basis for topology on $\mathbb{Z}$ [duplicate]

An arithmetic progression in $\mathbb{Z}$ is a set $A_a,_b=\bigg\{\dots,a-2b,a-b,a,a+b,\dots\bigg\}$ with $a,b\in\mathbb{Z}$ and $b\neq0.$ prove that the collection of arithmetic progressions ...
1
vote
1answer
35 views

Munkres Topology Article -30 Problem 5

Show that a metrizable space with a countable dense set has a countable basis. My try: Let $X$ be a metrizable space with a countable dense set $D$. Consider for each $n\in \Bbb ...
6
votes
4answers
140 views

Show that every compact metrizable space has a countable basis

Show that every compact metrizable space has a countable basis. My try: Let $X$ be a compact space and metrizable. Now for each $n\in \Bbb N$; I can consider the open cover $\{B(x,\frac{1}{n}):x\in ...
0
votes
2answers
72 views

Is there a nice open set proof that multiplication is continuous?

For students in a first course in analysis or topology, proving that certain function are continuous can be very tricky. However, some proofs which are difficult for students to prove using the ...
2
votes
1answer
24 views

different definitions of a subnet

The classical definition of subnet seems to be that $\Psi: J\to X$ is a subnet of $\Phi: I\to X$ if there exists a monotone, final map $h: J\to I$ s.t. $\Psi = \Phi\circ h$. I found another definition ...
3
votes
2answers
37 views

Map from circle to real line

I am asked to show that, for any continuous $\phi:\;S^1\to\mathbb{R}$ where $S^1=\{ \|\mathbf{x}\|=1,\;\mathbf{x}\in\mathbb{R}^2\}$, there exists $\mathbf{z}\neq 0$ such that: ...
1
vote
2answers
29 views

Cluster points and the sequence 1,1,2,1,2,3,1,2,3,4,1,…

I am working on a problem in analysis. We are given a sequence $x_n$ of real numbers. Then a definition: A point $c \in \mathbb{R}\cup{\{\infty, -\infty}\}$ is a cluster point of $x_n$ if there is a ...
13
votes
4answers
714 views

How to define “being inside of something” in the context of topology?

I'm a Psychologist and Neuroscientist with interest in math and I just started reading about Topology. I have to say it's not easy to grasp the concepts without a practical example, so I'm trying to ...
1
vote
1answer
40 views

$T^2-D$ does not retract to the boundary $\partial D$

First of all: yes, there is already a post about it, but I missread retract as strong deformation retract and wanted to know if this solution is right if we really do assume the stronger assumption of ...
0
votes
1answer
28 views

Product topology and projection mappings.

Let us consider two topological spaces $X$ and $Y$. Now let us consider projection mappings $p_1$ and $p_2$ defined from the product set of $X$ and $Y$ to $X$ and $Y$ respectively .The lecture notes I ...
0
votes
4answers
36 views

(i) $\{(x,y) \in \mathbb{R}^2 |\;xy = 1\}\,\bigcup\, \{(x,y) \in \mathbb{R}^2 |\;y = 0\}$ is not connected

I need to understand the following (i) $\{(x,y) \in R^2 |\;xy = 1\}\;U \{(x,y) \in R^2 |\;y = 0\}$ is not connected however (ii) $ Y = \{(x,y) \in R^2 |\;x^2 + y^2 < 1\}\;U \{(x,y) \in R^2 |\;y ...
1
vote
1answer
41 views

Homogeneous space minus a point

If $X$ is homogeneous and $p\in X$, then is $X\setminus \{p\}$ necessarily homogeneous? This seems to work with all the simple examples I've tried. I would be interested in any counterexamples. Or ...
0
votes
0answers
65 views

When is a diffeomorphism analytic?

I've read somewhere "a class $C^\infty$ diffeomorphism is said to be analytic" but I forgot to write down where I read this and now I can not find it, which makes me wonder if it's true? I'm working ...
2
votes
2answers
36 views

Any necessary and sufficient condition(s) for closure of an open ball to be the corresponding closed ball?

Let $(X,d)$ be a metric space, $a \in X$, and $\delta$ be a positive real number. Then the open ball $B(a;\delta)$ is defined as $$B(a;\delta) \colon= \left\{ \ x \in X \ \colon \ d(x,a) < \delta ...
2
votes
1answer
20 views

Regarding part of proof of proposition: Any topological group $(G, \tau)$ which is a $T_1$-space is also a Hausdorff space.

Proposition: Any topological group $(G, \tau)$ which is a $T_1$-space is also a Hausdorff space. Part of Proof: Let $x$ and $y$ be distinct points of $G$. Then $x^{-1}y \neq e$ (identity ...
17
votes
5answers
751 views

Is the set of all topological spaces bigger than the set of all metric space?

I was wondering right that since the notion of a topology is much more general than that of a metric, and that "neighborhodness", if you will, and the concept of continuity, is generalized by the ...
2
votes
2answers
26 views

Finding closures on $\mathbb R$ over a specific topology

I have the following topology over $\mathbb R$ $$ T = \{\emptyset\} \cup \{G\subseteq \mathbb R: \mathbb Q \setminus G \text{ is finite}\} $$ How could I study the closure of $\mathbb Q$ and $\mathbb ...
0
votes
1answer
31 views

Bijection bewteen $(-1,1)$ and $\{(x,y)\in\mathbb{R}^2:y=x^3\}$

I am trying to show that $(-1,1)$ and $\{(x,y)\in\mathbb{R}^2:y=x^3\}$ are homeomorphic, with the standard metrics. I cant see how to define a bijection.
0
votes
0answers
24 views

Relations between cluster points of nets and types of accumulation points of sets

Let $X$ be a topological space, $(x_\alpha)$ a net in $X$ and $A \subseteq X$ an arbitrary subset. The point $x \in X$ is a cluster point of $x_\alpha$ if for every neighborhood $U$ of $x$ the net ...