Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [separation-axioms]

Separation axioms are properties of topological space which, roughly speaking, say in what way two points, a point and a closed set, or two closed sets can be "separated". Most important are $T_0$-spaces, $T_1$-spaces, Hausdorff, regular, completely regular and normal spaces.

0
votes
1answer
47 views

Is every completely regular topology induced by some topological vector space?

Every topological vector space is completely regular. My question is, is the converse true? That is, is every completely regular topology induced by some topological vector space? If not, does ...
4
votes
1answer
32 views

What separation axiom is necessary for existence of neighborhood which closure is a subset of another given neighborhood

I'm looking for the weakest separation axiom, which gives the following property: Let $A$ be neighborhood of the point $x$. Then there exists another neighborhood $B$ of $x$, such $\overline{B}\...
1
vote
1answer
22 views

Another equivalent condition for being $T_1$−space $(X,\mathscr T)$ is normal.

A $T_1-$space $(X,\mathscr T)$ is normal iff for each pair of disjoint closed subsets $C$ and $D$ of $X$ there are open sets $U$ and $V$ such that $C\subseteq U$, $D\subseteq V,$ and $\overline{U}\...
0
votes
1answer
14 views

Is every completely regular topology induced by some proximity?

A proximity space is a set endowed with a relation defining a notion of when two subsets are near or far apart. A proximity space induces a topology, and such a topology is always completely regular. ...
1
vote
0answers
18 views

An equivalent condition for being $T_1-$space $(X,\mathscr T)$ is normal.

A $T_1-$space $(X,\mathscr T)$ is normal iff for each closed subset $C$ of $X$ and each open set $U$ such that $C\subseteq U$, there is an open set $V$ such that $C\subseteq V$ and $\overline{V}\...
0
votes
1answer
15 views

Nested interestection forms neighbourhood basis

Let $X$ be a topological space and $x \in X$. Suppose that there exists a countable collection $(U_n)_{n \geq 1}$ of open sets such that $U_{n + 1} \subseteq U_n$ and $\bigcap\limits_{n \geq 1} U_n = \...
0
votes
2answers
23 views

How do I prove that there exists a bijection from power set of $D$ to $C'\subseteq C.$

I was proving the Moore's Plane $(X,\mathscr T)$ is not normal. Using the theorem. Let $C=\{(x,y)\in X:y=0\}$ be a closed and relatively discrete subset of $X$. Let $D=\{(x,y)\in X:x\in \mathbb Q \...
2
votes
2answers
36 views

Is a completely regular space whose convergent sequences are eventually constant discrete?

If $X$ is a metrizable topological space where the only convergent sequences are eventually constant sequences, then $X$ must be a discrete space. But I'm interested in whether something stronger is ...
0
votes
1answer
40 views

$T_0$-space iff for each pair of $a$ and $b$ distinct members of X, $\overline{\{a\}}\neq\overline{\{b\}}$

Let $(X,\mathscr T)$ be topological space. Prove that $ (X,\mathscr T)$ is $T_0$-space iff for each pair of $a$ and $b$ distinct members of X, $\overline{\{a\}}\neq \overline{\{b\}}.$ My attempt:-...
1
vote
2answers
63 views

How do I prove $U (A_1)\cap V (A_2) \neq \emptyset$? Can You help me to find where do we arrive contradiction?

Let $(X,\mathscr T)$ be topological space with dense subset $D$ and a closed,relatively discrete subset $C$ such that $\mathscr{P}(D)\precsim$ $C.$ Then $(X,\mathscr T)$ is not normal. ...
0
votes
0answers
19 views

Compact group acting on regular space

Let $G$ be a compact topological group, $X$ be a regular topological space. Then the quotient space given by the continuos action of $G$ on $X$, $X/G$ is also regular. Here's my attempt, though I feel ...
0
votes
1answer
27 views

Prove that the function $f:X\to I=[0,1]$ by $f(x)=\min\{\frac{d(x,C)}{d(p,C)},1\}$ is continuous on $X$.

Question1. I can prove that Every metric space is Hausdorff. Where do they use this fact in this proof? Question2. Let $C$ be a closed subset of $X$ and $p\in X\setminus C$. How do I prove the ...
0
votes
1answer
30 views

Locally compact Hausdorff then Tychonoff

This is my proof. If $X$ is locally compact Hausdorff then for each $x \in X$ its compact neighborhoods form a neighborhood basis at $x$. For an arbitrary closed set $C \not\ni x$ let $V \subset X \...
3
votes
1answer
48 views

Prime Integer Topology is $T_2$ but not $T_3$

According to this $\pi$-Base page, the "Prime Integer Topology" is an example of a topological space which is $T_2$ but not $T_3$. The space is defined as $(\mathbb{Z}^+,\tau)$ where $\tau$ is the ...
0
votes
3answers
32 views

Separating points in a compact Hausdorff space.

Suppose that $X$ is a compact Hausdorff space and let $\{x_1,\ldots,x_n\}$ be a finite collection of points in $X$. It it possible to find open neighbourhoods $U_i$ of $x_i$ such that such that $x_j \...
0
votes
0answers
16 views

What does it mean if you take the zero vector in the hyperplane separation theorem?

If you have two disjoint sets V and W, which are compact and convex, then by the separation theorem there exists a vector u such that uv< uw. However what does it mean if you take u=0?
2
votes
1answer
47 views

Does there exist a continuous function separating these two sets $A$ and $B$

True or False: There exists a continuous function $f : \mathbb{R}^2 → \mathbb{R} > $such that $f ≡ 1$ on the set $\{(x, y) \in \mathbb{R}^2 : x ^2+y^2 =3/2 \}$ and $f ≡ 0$ on the set $B∪\{(x, y)...
6
votes
1answer
79 views

For a closed $G_\delta$ set $F\subseteq X,$ does there exist a continuous function $f:X\to [0,1]$ such that $f=0$ on $F$ and $f\neq 0$ outside $F?$

(All spaces are Hausdorff.) This question is a variant of my previous question. Let $X$ be a completely regular space, that is, for every closed set $F\subseteq X$ and $x\not\in F,$ there exists a ...
1
vote
1answer
41 views

For every closed set $F$ in a completely regular space $X,$ does there exist a nonzero continuous function $f:X\to [0,1]$ such that $f=0$ outside $F?$ [closed]

Let $X$ be a completely regular space, that is, for every closed set $F\subseteq X$ and $x\not\in F,$ there exists a continuous function $g:X\to [0,1]$ such that $g(F) = \{0\}$ and $g(x) =1.$ ...
0
votes
2answers
55 views

Show that a Banach space $X$ is not reflexive if a closed subspace of its dual separates the points of $X$

Given a Banach space $X$ and a closed subspace $Z$ of $X^*$ such that $Z \neq X^*$, suppose that $Z$ separates the points of $X$, I mean: $x \in X, \, \, \, x^*(x) = 0 \, \, \forall x^* \in Z \...
5
votes
2answers
89 views

A space is Hausdorff iff…

Here's an exercise from Marco Manetti's "Topologia" book (ex. 3.59 in the italian version) that i'm stuck on: Prove that a topological space $X$ is $\mathrm{T2}\iff\{x\}=\bigcap\limits_{U\in\,\...
3
votes
2answers
123 views

Can every locally compact Hausdorff space be recognized as a subspace of a cube that has an open underlying set?

In this question cubes are topological spaces of the form $[0,1]^J$ with product topology and $[0,1]$ with usual topology. Further a space is a Tychonoff space if and only if it is a completely ...
0
votes
1answer
72 views

For the existence of one-point compactification, do we need locally compactness?

In the book Topology by Munkres, at page 184, it is given the existence and uniqueness of one point compactification of a locally compact Hausdorff space; however, in the existence part, I can't see ...
2
votes
1answer
106 views

What topological spaces satisfy yet another property involving relatively compact sets?

This is a follow-up to my questions here and here. A subset of a topological space is called relatively compact if its closure is compact. Let's call a sequence $(U_n)$ of open sets a bounding ...
1
vote
1answer
35 views

What topological spaces satisfy another property involving relatively compact sets?

This is a follow-up to my question here. A subset of a topological space is called relatively compact if its closure is compact. My question is, what kind of topological spaces satisfy the following ...
1
vote
1answer
53 views

What topological spaces satisfy a property involving relatively compact sets?

A subset of a topological space is called relatively compact if its closure is compact. My question is, what kind of topological spaces satisfy the following property: for every relatively compact ...
0
votes
2answers
36 views

Contradiction in the proof a space with every compact subspace is 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. A space is Husdorff if for all $a,b\in X$ then there ...
-1
votes
1answer
31 views

Prove or disprove if a quotient map from X to Y with Y Hausdorff, then X is Hausdorff. [closed]

For two open disjoint subsets U and V, I want to show their pre-images are disjoint open subsets of X or not. But I have no idea how to do it. Any help would be appreciated. Thanks in advance!
2
votes
1answer
75 views

Is $\mathbb{R}^\omega$ endowed with the box topology completely normal (or hereditarily normal)?

Just out of curiosity, I'd like to know more properties of box topology. I found Is $\mathbb{R}^\omega$ a completely normal space, in the box topology? quite interesting, but unfortunately, it hasn't ...
1
vote
1answer
53 views

Proving a certain topology to be non-Hausdorff

I'm doing this exercise and I don't know how to attack the second part: Let $\tau$ be a topology on $\mathbb{N}$, with $\tau=\{\emptyset\}\cup\{\{0,1,2,...,n\}|n\in\mathbb{N}\}\cup\{\mathbb{N}\}$. ...
1
vote
2answers
51 views

Proof verification: All metric spaces fulfill the “Hausdorff property”.

I am currently studying an introductory book to complex analysis. Within the first chaper the complex numbers are presented in various ways aswell as their structure regarding to different points of ...
3
votes
2answers
67 views

An Application of Urysohn's Lemma?

Let $X$ be a compact Hausdorff (hence, normal) space. Let $\epsilon>0$, $x_{0}\in X$, $U\ni x_{0}$ be open, and $f\colon X\to \mathbb{R}$ be continuous. I am trying to find a continuous ...
0
votes
2answers
23 views

Are continuous functions between Hausdorff spaces always equal on a closed set?

Let $X,Y$ be a pair of Hausdorff spaces. Let $f,g \in C(X,Y)$. Is it guaranteed that $\{x \in X: f(x)=g(x)\}$ is a closed set? If not, is it guaranteed for some reasonably wide family of Hausdorff ...
-1
votes
3answers
24 views

Given set U is first countable or not?

In $\mathbb{R}$ with usual topology ,the set $U =\{ x \in \mathbb{R} : -1\le x \le 1 , ,x \neq 0\}$ is Choose the correct statement $a)$ Neither hausdorff nor First counatble $b)$ Hausdorff $...
4
votes
1answer
69 views

If $X \times X$ is normal, then is $X \times X \times X$ normal?

I am looking at some topological dimension theory for product spaces, and in trying to construct a certain type of counterexample it's become relevant to consider the question in the title above. I ...
0
votes
1answer
30 views

Similarity and Difference between Separable Space and Separated space?

Does separability and/or second countability implies $T_2$ or higher axiom sets? My intuition is "no". Even $T_0$ space can be separability and/or second countability?
1
vote
1answer
26 views

An aplication of the Hahn-Banach separation theorem: multiplier rule

In convex analysis optimization, I would like to show that the necessary conditions of the multiplier rule correspond to the nonexistence of a decrease direction. I would like to prove the following ...
0
votes
2answers
24 views

Does we have separation theorem for closed subsets in a topological vector space?

In Rudin's Functional Analysis, page $10,$ he stated the following separation theorem for topological vector space. Theorem $1.10:$ Suppose $K$ and $C$ are subsets of a topological vector space $X,$...
1
vote
1answer
44 views

The separation axioms, or “how tightly a closed subset can be wrapped in an open set” [closed]

I was looking around to understand better the separation axioms, when I found this sentence in the wolfram page concerning the separation axioms. [talking about the the separation axioms...] ......
0
votes
1answer
35 views

A topological space with the Universal Extension Property which is not homeomorphic to a retract of $\mathbb{R}^J$?

A topological space $Y$ has the universal extension property if for every normal space $X$, every closed subset $A$ of $X$, and every continuous function $f:A\rightarrow Y$, we can extend $f$ to a ...
1
vote
1answer
48 views

Lindelöf and separable metric space [duplicate]

Let $(X,d)$ be a metric space. How to prove that every lindelöf metric space is separable?
0
votes
2answers
27 views

Proving a space is Hausdorff if $f$ is continuous and bijective

Exercise: Let $(X,\tau_1)$ and $(Y,\tau_2)$ be topological spaces and $f:(X,\tau_1)\to (Y,\tau_2)$ a continuous map. If $f$ is one-to-one, prove that $(Y,\tau_2)$ Hausdorff implies $(X,\tau_1)$ ...
3
votes
1answer
49 views

Are the three notions of compactness equivalent for uniform spaces?

A topological space is compact if every open cover has a finite subcover. A topological space is sequentially compact if every sequence has a convergence subsequence. And a topological space is ...
0
votes
1answer
15 views

The family of all subsets of $X$ that contain a fixed set $Q$ is regular under what conditions?

Let $Q$ be a fixed subset of $X$. Define $\tau = \{Y \subseteq X | Q \subseteq Y\ \} \cup \emptyset$ I already proved that this makes $(X,\tau)$ a topological space verifying the three axioms of ...
0
votes
1answer
42 views

Definition of Tychonoff Separation Property in Royden's Real Analysis

In the fourth edition of Royden's Real Analysis (Section 11.2) he defines the Tychonoff Separation Property by Tychonoff Separation Property For each two points $u$ and $v$ in $X$, there is a ...
1
vote
2answers
72 views

GRE 9367 #62: Prove $X=[0,1]$ in lower limit topology ($[a,b)$) is not compact, is Hausdorff and is disconnected.

GRE9367 #62 Ian Coley's solution: Sean Sovine's solution: Prove $X$ is not compact. My first proof was similar to Ian Coley's, but I came up with another proof: If $X$ is compact, ...
4
votes
1answer
70 views

Is every locally Banach, Hausdorff space regular?

I am working on some infinite dimensional differential geometry. I have tried proving a somewhat weaker statement than the above by replacing locally Banach with locally metrizable. But after some ...
3
votes
1answer
40 views

A space is $T_0$ if and only if it is homeomorphic to a subpspace of $S^I$ with $S$ the Sierpinski space for some $I$ [Proof Verification]

As the title states, I want to check my proof of the following: Proposition. A topological space $(X, \tau)$ is $T_0$ if and only if there exists a set $I$ such that $(X,\tau)$ is homeomorphic to a ...
0
votes
1answer
36 views

Definition of Hausdorff space and please check my proof

I'm not sure about Hausdorff space property. It's all point $x,y\in X$ with $x\neq y$ there exist open sets U containing $x$ and V or just some point $x,y$ Here this is my problem that I want to ...
3
votes
1answer
41 views

$T_1$ spaces and sequential limits

Munkres introduce the $T_1$ separation axiom and proves the following theorem: Let $A \subset X$ where $X$ is $T_1$. Then $x$ is a limit point of $A$ iff every neighborhood of $x$ contains ...