Tagged Questions

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

1
vote
0answers
10 views

Sets, Topology and Applying Cantor's Intersection Theorem

I am trying to solve the problem related to the Sierspinski triangle. The triangle is shown as follow. Let $S$ be the intersection of all the finite stages a). Show that $S$ is a nonempty compact ...
-1
votes
0answers
15 views

contour which can be homeomorphic?

If I have a function $\phi:\mathbb{R^{2}}\rightarrow\mathbb{R}$ which is $C^{\infty}$ without critical points, can I assure that all the contour are homeomorphic?
2
votes
2answers
27 views

Is the set of matrices with rank at most $r$ closed? [duplicate]

The question is as follows: $\DeclareMathOperator{\rank}{rank}$ Is the set $S_r = \{A \in \Bbb R^{n \times n}: \rank(A) \leq r\}$ closed in $\Bbb R^{n \times n}$ in the Euclidean topology? I ...
1
vote
1answer
8 views

Correctness of reasoning about finiteness of degree of a covering map

Let $q$ be a covering $ q \colon \mathbb{R} P^{2n} \to X$, where $X$ is path-connected. Call $V_x$ the open nbhd of $x \in X$ given by the definition of covering map. We first note that $X$ must be ...
0
votes
3answers
32 views

Understanding the Co-finite Topology on R

I'm looking to gain a better understanding of how the cofinite topology applies to R. I know the definition for this topology but I'm specifically looking to find some properties such as the closure, ...
1
vote
1answer
16 views

Is the closure of an open connected set polygonally connected?

In an arbitrary metric space, I know that connected does not imply polygonally connected. However, in $\mathbb{R}^n$, an open connected set is connected iff it is polygonally connected. Is the last ...
1
vote
1answer
17 views

Show that a subset of a given function space is totally bounded

STATEMENT: Define a norm, $N$, on $\mathcal{L}(X)$ by $$N(f)=||{f}||_\infty+L(f)$$ Let $D=\left\{f\in\mathcal{L}_b(X):N(f)\leq 1\right\}$. Prove that when $X$ is compact and $D$ is viewed as a subset ...
0
votes
1answer
37 views

Definition of continuum

In class the teacher gave us the definition of a continuum as a metric, connected and compact space, on the book General Topology by Willard says that is a connected, compact and Hausdorff space, and ...
0
votes
1answer
33 views

what does “closed subspace” in papers mean?

In many books and articles one finds sentences like this: "let $A$ be a closed subspace of ...". Now my question might be stupid, but I am always wondering what they mean by closed subspace? Is this ...
0
votes
2answers
17 views

Equivalance of norms

Let $X$ be the vector space of all real valued functions defined on $[0,1]$ having continuous first-order derivatives. How to show that the following norms are equivalent: $\|f\|_1 = |f(0)| + ...
1
vote
0answers
16 views

Cut sets in topology

As part of a problem sheet I have been asked to show that $\mathbb{R}^n$ is not homeomorphic to $\mathbb{R}^m$ whenever $n \neq m$. When I first proved that $\mathbb{R}$ is not homeomorphic to ...
1
vote
1answer
20 views

How to justify that $d_{\mid\cdot\mid} ^{\alpha} (x,y) = |x-y|^{\alpha}$ (with $0<\alpha <1$) is a distance on $\mathbb{R}$

I know directly that : $\forall x,y \in \mathbb{R}$, $d_{\mid\cdot\mid}^\alpha (x,y)=0$ $\Leftrightarrow$ $x=y$ $\forall x,y \in \mathbb{R}$, $d_{\mid\cdot\mid}^\alpha (y,x) = ...
0
votes
1answer
40 views

Partitions of $[0,1]$

Trying to test my understanding of analysis, today I came up with two questions, that will probably look obvious (be patience, because I am self-thaught). Anyway, here they are: 1) Is possible to ...
-1
votes
2answers
32 views

Topology, locally compact

Let $E$ be a separable Banach space. Is $E$ locally compact space? I'm looking for a counterexample to this assertion. If you know anything please let me know.
0
votes
1answer
11 views

complete compact open topology

Let $X$ denotes a path-connected and compact manifold and $PX$ its path-space (the set of continuous maps $\gamma: [0,1] \longrightarrow X$) topologized with the compact open topology. It is true that ...
1
vote
2answers
33 views

Closed sets with empty interior measure zero

Is the Lebesgue measure of a closed set with empty interior in $\mathbb{R}^{n}$ always zero? Trying to understand something in the math notes that I don't understand, and if the above is true, it ...
0
votes
0answers
20 views

Examples of compact subsets in topological spaces [duplicate]

I'm trying to find a topological space and a compact subset whose closure is not compact. It is an exercise in the text book Armstrong, Basic Topology, which I can not figure out. Any hint or answer ...
0
votes
4answers
33 views

How to find a bounded sequences with three sub-sequences that converge to three different limits.

The question is about finding a bounded sequence with three sub-sequences that converge to three different limits.
0
votes
1answer
60 views

$\Bbb R \times \Bbb R$ with a nonstandard topology

Let $\tau$ the topology on $\Bbb R \times \Bbb R$ generated by the collection of lines $y= 2x+k$ with $k\in \Bbb R$ (in the sense that the line $\{y=2x+k\}$ is a basic element for $\tau$) . Find ...
2
votes
1answer
65 views

Proof of $\Bbb R^n \not\eqsim \Bbb R$

Why is showing the same space but without a point is equivalent to show that the original spaces are not homemorphic? From what i could tell they just showed $\Bbb R - \{ x \} \not\eqsim \Bbb ...
1
vote
0answers
18 views

Understanding how connected sum of smooth surfaces is a surface

I have two smooth surfaces $M_1$ and $M_2$ I''m trying to understand how the connected sum $M_1 \mathop{\#} M_2$ is a smooth surface. I will write my understanding of the proof and then explain where ...
1
vote
1answer
22 views

How do I show using cut points that these two subsets of the plane are not homeomorphic?

How do I show using cut points or cut pairs that these 2 subsets are not homeomorphic? I cannot see any obvious cut points. I see that, in the first diagram the only cut pairs of type 1 when 1 ...
1
vote
2answers
48 views

Closure of this set is $\mathbb R^+$

Let $A$ be a subset of $\mathbb R^+$ which is not bounded. Prove that $\displaystyle \operatorname{cl}(\bigcup_{n\in\mathbb N^*}\frac{1}{n}A)=\mathbb R^+$ where $\frac{1}{n}A$ denotes ...
1
vote
1answer
31 views

Spectral Measures: Square Root Lemma

Given a Hilbert space $\mathcal{H}$. Consider a densely defined closed operator $A:\mathcal{D}(A)\to\mathcal{H}$. This gives rise to operators: $$A^*A:\mathcal{D}(A^*A)\to\mathcal{H}$$ ...
0
votes
1answer
27 views

How do I prove that a subset is closed in the topological space of $n \times n$-matrices.

Consider the topological space $M$ of $n \times n$ matrices over $\mathbb{R}$ equipped with the standard topology. Let $\mathcal{A} \subset M$ be the set of matrices such that $det(A) = 1$ for $ A ...
-5
votes
0answers
44 views

Difficult question for me. Please help me to solve it [on hold]

I am trying to solve this question, but I couldn...
-4
votes
0answers
16 views

Homeomorphism between countable dense subspaces of R [duplicate]

I need to prove all countable and dense subsaces of $\mathbb{R}$ homeomorphic to each other.
0
votes
2answers
38 views

Is $\{(x,y)|y=\sin(\frac{1}{x})\}\cup(0,1)$ connected on $R^2$? [duplicate]

Source of definition: http://mathworld.wolfram.com/ConnectedSet.html Definition: A connected set is a set that cannot be partitioned into two nonempty subsets which are open in the relative topology ...
2
votes
3answers
500 views

Example of a countable open set of real numbers?

I am unable to think of a set that is both open and countable. While I can easily think of several that are not-closed and countable, finding explicitly open ones (besides the empty set) is proving to ...
0
votes
0answers
19 views

Homotopic attaching maps give Homotopy Equivalent spaces

I want to prove that if $f,g : S^{n-1} \to X$ are homotopic maps then the resulting spaces $X \cup_f D^n$ and $X \cup_g D^n$ are homotopy equivalent. I know this question has been asked before: ...
1
vote
0answers
14 views

Continuity definitions on non-compact subsets

At the top of the wikipedia articles on Hölder condition, Lipschitz Continuity and others, the chain of logic is as follows: On a compact subspace of a metric space: $$Continuously Differentiable ...
0
votes
0answers
21 views

$\ell_2^\mathbb{Q}$ as countable cartesian product

Since countable cartesian product of $0$-dimensional spaces (metrizable, separable) is $0$-dimensional, why $\ell_2^\mathbb{Q}$ being $1$-dimensional doesn't contradict that statement? ...
0
votes
1answer
17 views

Homeomorphism from $[0,1]\times[0,1]$ to $\overline{D}(0,1)$?

I'm trying to construct a homeomorphism from $[0,1]\times[0,1]$ to $\overline{D}(0,1)$. I'm pretty sure there is one. I've been trying to work geometrically : mapping $[0,1]\times[0,1]$ to ...
0
votes
2answers
45 views

Cantor Sets/nonempty/cardinality

Let $S_0=[0,1]$ and define every $S_k$ for $k\geq 1$ \begin{align*} S_1&=\left[0,\frac{1}{3}\right]\cup\left[\frac{2}{3}, 1\right],\\ S_2&=\left[0,\frac{1}{9}\right]\cup\left[\frac{2}{9}, ...
4
votes
1answer
27 views

Extension of the limit operator on $l^\infty$

Let $l^\infty = \{x\in \mathbb{R}^\mathbb{N}\colon \sup_{n\in \mathbb{N}}|x_n|<\infty\}$ and the subspace $C \subseteq l^\infty$ given by the convergent sequences. We consider the linear operator ...
1
vote
2answers
26 views

Convergence between weaker and coarser topologies of the same set

Suppose $X$ is a set with two topologies $S$ and $T$ and $S \subseteq T$. Prove or give counterexample : if ${x_n}$ converges in $(X,T)$ the it converge in $(X,S)$
6
votes
1answer
39 views

Can the order relation on $\mathbb{R}$ be recovered from the topology?

It's well-known that the usual topology on $\mathbb{R}$ is induced by the order relation, since the open intervals $\{(a, b) : a < b\}$ are a base for the topology. I am wondering if you can go ...
0
votes
2answers
119 views

why do you need to know topology to study differentional geometry

Why do I need to know topology to study differentional geometry? I just try to understand differentional geometry, but I am not sure why topology is needed for it. while I see that topology is an ...
2
votes
1answer
49 views

Metric spaces in topology

$(X,d)$ be a metric space. Given $\epsilon >0$ there is a non empty finite subset $X_\epsilon\subset X$ such that for every $x\in X$, we have inf$\{d(x,p):p\in X_\epsilon\}\leq\epsilon$. 1) Show ...
4
votes
0answers
46 views

Can open sets in different dimensions be homeomorphic to each other?

Assume $U$ is open in $\mathbb{R}^m$ and $V$ open in $\mathbb{R}^n$, $U\cong V$. Does it imply $m=n$?
1
vote
2answers
24 views

Formal proof that union of 2 non-disjoint open intervals is open interval.

Union of 2 non-disjoint open intervals is open interval. I will not use word open later. I want to obtain formal proof of this fact that is different from mine. My attemp: We know that union of ...
0
votes
0answers
21 views

Interior of sum of sets equals sum of interior of summands

I'd like to have the answer to the following question. If $X_1,X_2\subseteq \mathbb{R}^n$ are convex and compact sets of dimension $n$, does the following hold: ...
0
votes
1answer
33 views

Is true that $ \cap_{n=1}^{\infty} {\omega}_n \neq \emptyset $?

Let ${\omega}_n$ dense in $\mathbb{C}$ for all $n \in \mathbb{N}$, with ${\omega}_{n} \subset {\omega}_{n-1}$. Is true that $ \cap_{n=1}^{\infty} {\omega}_n \neq \emptyset $? If it true, is posible ...
0
votes
0answers
26 views

Help defining an open cover

Let $(x,y)$ be coordinates in $\mathbb{R}^2$. Let $A\subset \mathbb{R}^2$ such that $A=\left\{ y\geq 0 \right\}$. The following partition of $A$ is given: Let $0\leq K<+\infty$ \begin{equation} ...
-2
votes
0answers
26 views

It is really difficult question for me. I tried to solve it, but I couldn`t. Please, help me to solve it [on hold]

Consider the topological space ([0,1),τ) , where τ=[0,y)|y∈[0,1] . For each of the following subsets, A of [0,1) , find A , A , and ∂A with respect to τ (Justify your answers in each case) (a)A ...
5
votes
1answer
74 views

Infinite removal of isolated points from a subset of $\mathbb{R}$.

Assume we have subset of $\mathbb{R}$. Then, at every step, we remove all isolated points from what is remained from initial subset. We stop when there is nothing to remove - so current set is either ...
1
vote
0answers
27 views

Proper Maps: Where is continuity used in this Wikipedia proof?

In this article on Wikipedia, a proof is given of the statement that any map $f$ from $X\to Y$ that is closed, continuous, and has the property that $f^{-1}(\{y\})$ is compact in $X$ for $y\in Y$, is ...
2
votes
3answers
72 views

Proof that every closed subset of $\mathbb R$ is finite or countable or continuum.

I want to prove that every closed subset of $\mathbb R$ is finite or countable or continuum. I know that for arbitrary subset we can not make similar statements - because of continuum hypothesis. ...
5
votes
2answers
104 views

Is $\mathbb{R}\setminus\mathbb{Q}$ a union of countable family of closed sets?

Can we represent set of irrational numbers as union of countable family of closed sets?
0
votes
0answers
35 views

On thinking that planarity is nothing but topology?

I've found the following quote on Harary's Graph Theory: And I'd like to know what it means. I know about the Kuratwoski theorem, which states that a graph is planar if no subgraph of it is ...