Intereting Posts

Cardinality of the set of differentiable functions
Show that Laplace transform is differentiable
what is Prime Gaps relationship with number 6?
Cauchy sequence is convergent iff it has a convergent subsequence
About the strictly convexity of log-sum-exp function
Definition of the image as coker of ker == ker of coker?
Convergence of Lebesgue integrals
$\text{Let }y=\sqrt{5+\sqrt{5-\sqrt{5+\sqrt{5-…}}}} $, what is the nearest value of $y^2 – y$?
About frullani integral
Finding roots of $\sin(x)=\sin(ax)$ without resorting to complex analysis
Show that $2 xy < x^2 + y^2$ for $x$ is not equal to $y$
Initial Segments of Modular Arithmetic
Is every element of a complex semisimple Lie algebra a commutator?
Genus of a curve: topology vs algebraic geometry
Two possible senses of a random variable being a function of another random variable

I got the Idea from this question: <>

another thread

I got the idea to define a finite set like this:

We call a set $A$ finite if the topological space $(A,T)$ is hausdorff iff $T$ is the discrete topology. If my proof isn’t wrong this one is equivalent to the normal defintion, that a set is finite if there is a bijection to $\{1,\dots,n\}$ for a $n\in \mathbb{N}$.

- How to prove the Cone is contractible?
- Left topological zero-divisors in Banach algebras.
- If a collection of sets is a subbase for a topology $\tau_0$ and a base for a topology $\tau_1$, can we conclude $\tau_0 = \tau_1$?
- Help finding the fundamental group of $S^2 \cup \{xyz=0\}$
- Homeomorphism between spaces equipped with cofinite topologies
- How many sets can we get by taking interiors and closures?

I never listen to any Topology-lecture (i didn’t take a topology course) so i don’t know if there is a problem in it, and I don’t think I am able to do the proof on my own so I ask for some help.

My basic Idea was, that any bijection between discrete finite topological spaces is a homoeomorphism. Now we make a simplicial complex out of the sets (taking the elements of A as 0-skeleton and between two 0-cells a 1-cell) and perhabs we can show, that the homotopie groups aren’t equal. (since the 0th is just a set we have to take a higher one). So for example, we can show that the free groups of $n$ and $n-1$ generators aren’t the same.

Does anyone got an idea for this, or won’t there be a way without cardinality at all.

- $C_c(X)$ is dense in $C_0(X)$
- Prove that the Pontryagin dual of a locally compact abelian group is also a locally compact abelian group.
- If a product is normal, are all of its partial products also normal?
- Continuity of product of fuctions w.r.t. product and box topology
- A functional structure on the graph of the absolute value function
- Why second countable for definition of manifold?
- Show that any non-empty, non-compact convex subset of $\mathbb{R}^n$ lacks the fixed point property
- An example of topological space in which each singleton is not in $G_\delta$
- Every subnet of $(x_d)_{d\in D}$ has a subnet which converges to $a$. Does $(x_d)_{d\in D}$ converge to $a$?
- Base and subbase of a topology

I’m not completely sure what your question is. I think that at least part of what you are asking is: “Is it true that a set $X$ is finite $\iff$ the only Hausdorff topology on $X$ is the discrete topology?”

I didn’t understand your proposal for how to prove this, but it is in fact true.

If $\tau$ is a Hausdorff topology on a finite set $X$, then since Hausdorff implies separated (or “$T_1$”), points are closed. Since finite unions of closed sets are closed, every subset is closed, hence every subset is open and the topology is discrete.

If $X$ is infinite, then there is an injection $\iota$ from the set $S = \{0\} \cup \{ \frac{1}{n} \ | \ n \in \mathbb{Z}^+\}$ to $X$. Let $X_1$ be the image of $\iota$ and let

$X_2 = X \setminus X_1$. We topologize $X_1$ by saying that a subset $Y \subset X_1$ is open iff $\iota^{-1}(Y)$ is open in $S$, with its natural topology as a subset of $\mathbb{R}$. Thus $X_1$ is not discrete: $\{ \iota(0) \}$ is not open. On $X_2$ we put the discrete topology. Finally we endow $X$ with the topology it gets as the disjoint union “or coproduct” of $X_1$ and $X_2$. In this case, this amounts to saying that a subset $Y$ of $X$ is open iff $Y \cap X_1$ is open in $X_1$. This is a non-discrete Hausdorff topology on $X$.

Let $X$ be a topological space with at least three different points and $x \in X$. Suppose that the only Hausdorff topology on $X$ is the discrete one. If there exists a bijection $f : X \to X \backslash \{x\}$, then $f$ is a homeomorphism for discrete topologies. Now take the topology on $X$ defined by $\mathcal{T}=\{ O \subset X : O \subset (X\backslash \{x\}) \ \text{or} \ O \cap (X\backslash \{x\} )\neq \emptyset \}$. But $\mathcal{T}$ is a Hausdorff non discrete (since $\{x\} \notin \mathcal{T}$) topology on $X$: a contradiction.

- Why can we always take the zero section of a vector bundle?
- Quaternion – Angle computation using accelerometer and gyroscope
- How to show that this binomial sum satisfies the Fibonacci relation?
- probability circle determined by chord determined by two random points is enclosed in bigger circle
- $g(x) = 1/(1+x^2)$ is continuous everywhere epsilon delta approach
- Proving that $f(x,y) = \frac{xy^2}{x^2 + y^2}$ with $f(0,0)=0$ is a continuous function using epsilon-delta.
- (Soft) What maths should I concentrate on at 16-18 years old?
- Identity for a weighted sum of sines / sines with different amplitudes
- Elementary proof that $\mathbb{R}^n$ is not homeomorphic to $\mathbb{R}^m$
- Does this really converge to 1/e? (Massaging a sum)
- Is R with $j_d$ topology totally disconnected?
- Maps to Sn homotopic
- Uniformly bounded sequence of holomorphic functions converges uniformly
- Are the unit partial quotients of $\pi, \log(2), \zeta(3) $ and other constants $all$ governed by $H=0.415\dots$?
- Solving $x$ for $y = x^x$ using a normal scientific calculator (no native Lambert W function)?