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)

0
votes
1answer
24 views

Infinite topological space with cofinite topology is not Hausdorff

I found a proof to the question, but mine is completely different (sort of). Is this correct? If $X$ were Hausdorff, then consider $u,v \in X$ with disjoint neighbourhoods $U, V$ that separates ...
7
votes
3answers
274 views

An open interval is an open set?

First, the question I have is very similar to this question, but I hope it doesn't get closed as duplicate since I'm stuck nevertheless. I'm trying to algebraically prove that an open interval is an ...
1
vote
1answer
31 views

Can we always form a closed set from a given domain

I have certain doubts regarding open and closed sets. So, anyone please help me. Can we always form a closed set from a given domain (open connected subset of the complex plane), i.e. choosing some ...
0
votes
0answers
20 views

Problem on product space of Sorgenfrey line.

Let $(\mathbb R,\tau)$ be Sorgenfrey line, $(\mathbb R^2,\tau_1):=(\mathbb R,\tau)\times (\mathbb R,\tau)$. Let $L = \{(x, y) : x, y\in\mathbb R^2, x + y = 0\}$. Show that the line L is closed in ...
2
votes
1answer
19 views

A countable, compact KC-subspace of a hereditarily Lindelöf minimal KC-space

A space in which all compact subsets are closed is called KC-space. A space in which every infinite set contains an infinite subset with only a finite number of accumulation points is said to have ...
0
votes
1answer
17 views

Show that the product of Sorgenfrey line is regular.

Let $(\mathbb R,\tau)$ be Sorgenfrey line, show that $(\mathbb R^2,\tau_1):=(\mathbb R,\tau)\times (\mathbb R,\tau)$ is regular. I am struggling in this problem, and haven't made much progress. ...
2
votes
1answer
35 views

Can every open set of $\mathbb{R}$ be written as countable union of disjoint open bounded intervals?

I know that the following two statements are correct. Every open set of $\mathbb{R}$ be written as countable union of disjoint open intervals ( including open rays and $\mathbb{R}$). Every open ...
0
votes
2answers
31 views

questions about the closed graph of topological curve?

Suppose that $M$ is a topological space,$\gamma:dom(\gamma)\rightarrow M$ is continuous,where $dom(\gamma)\subset \mathbb{R}$ is a open interval. Is it possilble that there exists special topological ...
3
votes
3answers
56 views

If $(X,\tau)^n$ is Hausdorf, is $(X,\tau)$ also Hausdorff?

If $(X,\tau)^n$ is Hausdorf, is $(X,\tau)$ also Hausdorff? I know that product of Hausdorff space is Hausdorff, but I want to know if this weaker converse of it is true. Thanks.
0
votes
1answer
41 views

What is a “closed subspace” of a topological space?

I was reading a proof online and it linked to a book by Munkres which says Every closed subspace of a compact space is compact. I dug out the book and searched the index for this term. ...
0
votes
2answers
37 views

Continuous bijection from $[0,1]$ to $[0,0.5)\cup (0.5,1]$

Can we have a continuous bijection from $[0,1]$ to $[0,0.5)\cup (0.5,1]$?
3
votes
2answers
32 views

Metrizability of quotient spaces of metric spaces

Suppose $X$ a metric space and $\sim$ an equivalence relation on $X$. Is the space $X/\mathord{\sim}$ metrizable? I think that the answer is no, but I could not arrive at a counterexample.
1
vote
1answer
38 views

Connectedness of both $Y \cup A$ and $Y \cup B$ where $A, B$ is a separation of $X -Y$

Let $Y\subset X$ be such that both $X$ and $Y$ are connected. Show that if $A$ and $B$ is a separation of $X-Y$, then $Y\cup A$ and $Y\cup B$ are connected. I found a proof for this problem in this ...
5
votes
5answers
476 views

Why is that *any* union of open sets is open but only *finitely many* intersections of open sets is open?

I understand that when we talk about union of open sets, we introduce an index set which can be countable or uncountable. But could I not do the same for the intersection of open sets too?
1
vote
1answer
24 views

Path Connectedness argument for $SO(n, \mathbb{R})$

I am trying to prove path connectedness of $SO(n, \mathbb{R})$. I have seen several different proofs for the same. But I had a thought and wanted to know whether it would help in any way. I took two ...
1
vote
0answers
12 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 ...
0
votes
1answer
46 views

Limit points of infinite subsets of closed sets

Is the following statement true or false? If $F$ is an infinite subset of a closed set $E$, then $F$ has a limit point in $E$? The original one is: if $E$ is an infinite subset of a compact set ...
0
votes
2answers
57 views

Non-compactness of $\mathbb{R}$ with the cocountable topology

Is $(\mathbb{R},\tau_{co})$ compact where $\tau_{co}$ is the cocountable topology on $\mathbb{R}$? I have the answer of my teacher but I'd like to see another one so I can understand better how ...
3
votes
2answers
48 views

Infinite spaces in which all subsets are compact are not Hausdorff

Let $(X,\tau)$ be an infinite topological space with the property that every subspace is compact. Prove that $(X,\tau)$ is not a Hausdorff space. I start by supposing $X$ is Hausdorff. Then I can ...
1
vote
2answers
48 views

Uniqueness of continuous extension from $A$ to $\overline{A}$ for maps into a Hausdorff space

I want to prove the following. Let $A$ be a subset of $X$. Let $f:A \to Y$ be continuous. Let $Y$ be Hausdorff. Show that if $f$ can be extended to a continuous function $g:\overline{A}\to Y$, ...
0
votes
0answers
30 views

Find the point implied by intermediate value theorem

Consider a function $f(x)$ such that $f(0)=0$ and $$f'(x) = \frac{T-x}{T-f^{-1}(x)} + \frac{T-x}{S}$$ Then we can see that $f'(0)>1$ and $f'(T)=0$. Find $x$ such that $f'(x)=1$, in terms of the ...
2
votes
1answer
54 views

Convex interior topology

I have found a fascinating example of topology on a vector space $V$, but I cannot prove its interesting properties to myself. Let $\mathcal{B}$ be the family of all convex symmetric (i.e. $\forall ...
-2
votes
0answers
82 views

Imaginary curvature. [on hold]

What would a shape with a curvature of $\Omega = \sqrt{-1}$ or $\Omega = i$ be? What would it look like, how many dimensions would it take up and is there a name such a shape, what would a geometry ...
1
vote
1answer
39 views

A continuous bijection from a Hausdorff space to a non-compact space which is not a homeomorphism

Recall the following theorem: Let $X$ be a compact space and $Y$ a Hausdorff space. Suppose that $f:X \rightarrow Y$ is a continuous bijection. Then f is homeomorphism. Prove that the ...
1
vote
2answers
50 views

Showing that a space is normal and not locally compact

Let $E$ be the set of all ordered pairs $(m,n)$ of non-negative integers. Topologize $E$ as follows: For a point $(m,n)\neq (0,0)$, any set containing $(m,n)$ is a neighbourhood of $(m,n)$. A set ...
2
votes
2answers
61 views

The Cantor set is not strong measure zero

$A \subseteq \mathbb R$ is strong measure zero if given any sequence $( \epsilon_n )_{n \in \mathbb N}$ of positive reals there is a sequence $( I_n )_{n \in \mathbb N}$ of open intervals such that ...
1
vote
0answers
40 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
16 views

Compact opens in sober $T_1$ are closed?

I am trying to establish some basic facts about spectral spaces. In relation to this I am looking for a proof of, or a counter example to, the statement that compact open subsets of a sober $T_1$ ...
3
votes
1answer
38 views

Cover a sphere by two closed subsets not containing a closed self-antipodal connected subset?

Question (Fulton's Algebraic Topology, A First Course, Problem 4.40) Suppose the sphere $S^2=A\cup B$ where $A,B\subseteq S^2$ are two closed subsets of $S^2$. Is it true that either $A$ or $B$ must ...
0
votes
2answers
29 views

Is $(\mathbb{R},\tau_B)$ a separable space?

Is $(\mathbb{R},\tau_B)$ a separable space? $\tau_b$ is the topology generated by $$\mathcal{B} = \{ \ [a,b) \ \ : \ \ a,b\in\mathbb{R}, \ a<b\}$$ I guess it's not separable ...
1
vote
1answer
45 views

Noetherian toplogical space exercise

Let $X$ be a noetherian topological space. Prove the following statements: (a) If $F \subset X$ is closed, then there exist $n \in \mathbb N$ and irreducible closed subsets $F_1,\ldots,F_n \subset ...
1
vote
1answer
28 views

Equivalent conditions for a topological space to be Noetherian

Problem Show that the following statements are equivalent: (a) $X$ is a noetherian topological space (b) Every non-empty family of closed subsets of $X$ has a minimal element. (c) If $$U_1 \subset ...
4
votes
0answers
60 views

Openness of a subset in complex 2-plane

Let $U$ be a subset of $\mathbb{C}^{2}$ containing the origin $0$. Assume that for any curve $C$ (an affine variety of dimension 1, maybe singular) passing through $0$ we have $U \cap C$ is ...
1
vote
3answers
50 views

Should real functions be described as $ f: \mathbb{R} \rightarrow \mathbb{R} $ or $ f: \mathbb{R} \rightarrow \mathbb{R}^2 $?

I've been trying to teach myself topology, and I'm having a bit of trouble grasping the abstract concepts of the field. One question that's been poking at my understanding regarding topological ...
2
votes
1answer
41 views

Prove Two Topologies Equivalent

I was reading Lawson's Topology as review and stumbled across this: For $X \subset \mathbb{R}^n$, show that the usual topology on $X$ is the same as the subspace topology. Here the usual ...
1
vote
1answer
41 views

What's the 1-dimensional topology of a graph?

I'm reading through this paper here downloads.hindawi.com/journals/mpe/2013/815035.pdf where they say "Since a graph can be equipped with a topology to turn it into a a one-dimensional space, we can ...
1
vote
1answer
43 views

Accumulation point in topological space problem

Exercise If $(x_{\alpha})_{\alpha \in \Lambda}$ is a net, then $x$ is an accumulation point of the net if for every $A \in \mathcal F_x$, the set $\{\alpha \in \Lambda: x_{\alpha}\in A\}$ is cofinal ...
5
votes
0answers
80 views

Show that it is an algebra.

This excercise is a little struggling for me. The part I need help with is showing that $D$ is closed under complements. Let $C$ denote the collection of all intervals on $\mathbb{R}$, including ...
1
vote
1answer
30 views

What is the induced functor of covering spaces to covering groupoids?

I'm reading May's book, 'A Concise Course in Algebraic Topology' and I'm confused about what he means by the induced functor from a covering space. First, here are some helpful/relevant definitions. ...
2
votes
4answers
75 views

For an irrational number $a$ the fractional part of $na$ for $n\in\mathbb N$ is dense in $[0,1]$

How to prove that the $\{$ fractional part of $n\alpha\mid n \in \mathbb{N}$ $\}$ is dense in $[0,1]$ for an irrational number $\alpha$. NOTICE that $n$ is in $\mathbb{N}$ Also notice that this is ...
1
vote
2answers
44 views

Construction of a small but fat set? [duplicate]

Is it possible to find a subset $A$ of the real line $\mathbb R$ such that the Lebesgue measure of $A$ minus its interior is positive ?
0
votes
0answers
53 views

continuous function-constant [on hold]

I followed topology course and my lecturer give my a question like this. Topology space X is cofinite topology or cocountable topology, then $f: X \to \Bbb R $ is continuous iff $f$ is a constant ...
2
votes
1answer
35 views

Show that $X$ is Hausdorff if and only if the diagonal $\Delta = \{(x, x):x \in X\}$ is closed in $X \times X$

I am aware that there is a similar question elsewhere, but I need help with my proof in particular. Can someone please verify it or offer suggestions for improvement? Show that $X$ is Hausdorff if ...
1
vote
0answers
31 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 ...
0
votes
2answers
28 views

Proving no finite basis of the system of neighborhoods at $a$ in the real line exist.

I'm not sure how to prove it, the gist is: I need to find the "smallest" neighborhood in the basis, take a ball of half that radius and show "look, there is no member of the basis in this ball, thus ...
0
votes
1answer
36 views

Is this a connected set? [on hold]

Suppose that $O(n) = \{A: A$ is $n \times n$ matrix such that $A^TA = I\}$ Is $O(n)$ connected?
4
votes
1answer
52 views

Perfect Map $p:\ X\to Y$, $Y$ compact implies $X$ compact

I was assigned the following homework problem for a introductory course in topology: Let $p:\ X\to Y$ be a closed continuous surjective map such that $p^{-1}(\{y\})$ is compact for each $y\in Y$. ...
0
votes
0answers
18 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 ...
0
votes
1answer
20 views

Equality in product topology spaces.

I have the following problem: Given $A\subset X$, $B\subset Y$ topological spaces then $$\partial (A\times B)=(\partial A \times \bar B) \cup (\bar A \times \partial B) $$ I have no clear ...
1
vote
0answers
24 views

intuition on the countable dense subset implying separability [duplicate]

Are there any good intuitions to understand why countable dense subset implies separability? Is the separability related to the opposite of connectedness? In Munkres, I am a bit confused after he ...