Intereting Posts

Prove that $x=0.1234567891011\cdots$ is irrational
Integral involving exponential, power and Bessel function
“Where” exactly are complex numbers used “in the real world”?
Prove that $a^2 + b^2 \geq 8$ if $ x^4 + ax^3 + 2x^2 + bx + 1 = 0 $ has at least one real root.
is the hilbert polynomial integer-valued everywhere?
Calculate a multiple sum of inverse integers.
Is $\sqrt{p+q\sqrt{3}}+\sqrt{p-q\sqrt{3}}=n$, $(p,q,n)\in\mathbb{N} ^3$ solvable?
Probability in single-lane traffic flow: What are the odds of “choke points” being encountered?
Best Strategy for a die game
Interchange quantifiers using the generalization theorem
Is there a scientific name for 0.infinity?
Connecting a $n, n$ point grid
(complex measures) $d\nu=d\lambda +f\,dm \Rightarrow d|\nu|=d|\lambda| +|f|\,dm$ and $f\in L^1(\nu)\Rightarrow f\in L^1(|\nu|)$
Derive or differentiate?
A 4×4 homogeneous matrix for a 90 degree rotation about Y axis?

My attempt to prove the following is below:

Let X be an infinite set. Show that $\mathscr{T}_1=\{U \subseteq X : U = \emptyset $ or $ X\setminus U $ is finite $ \}$

My book calls this set the “finite complement topology”

- Borel algebra mod meagre sets vs. Borel algebra mod sets of measure zero
- Connectedness of a certain subset of the plane
- What is meant by an open boundary when specifying boundary conditions of PDEs?
- Stein-Shakarchi Real Analysis Ch1 Ex 12a: an open disc in ${\bf R}^2$ is not the disjoint union of open rectangles
- Compactness and sequential compactness
- Characterisation of extreme mono- and epi- morphisms in category of topological spaces.

I just want to know if this proof is correct. (I intuitively understand why its a topology, but I’m not sure if I’m showing it properly)

Using the definition of topology:

$\mathscr{T}$ is a topology on X if and only if the following are true:

(i) X and Ø are elements of $\mathscr{T}$.

(ii) $\mathscr{T}$ is closed under finite intersections.

(iii) $\mathscr{T}$ is closed under arbitrary unions.

Let:$V_k \subseteq X$ be any finite set. (ie: $V_1, V_2…$ are all finite sets)

So Then, $U_k = X \setminus V_k$, would be the subsets of $\mathscr{T}$.

Now to verify the definition.

(i) X and Ø are elements of $\mathscr{T}$.

Ø is given in the definition of $\mathscr{T}_1$. Also, the empty set is considered finite, with cardinality zero. Thus $X$ is in $\mathscr{T}_1$ because its complement is finite.

(ii) $\mathscr{T}$ is closed under finite intersections.

$U_k \cap U_j = X \setminus (V_k \cup V_j) $, due to De Morgan’s law. Since the Union of two finite sets is also finite, this set is still in $\mathscr{T}_1$. Or Symbolically (using bars || for cardinality): If $|V_k \cup V_j| < |\mathbb{N}| $, then $(U_k \cap U_j) \in \mathscr{T}_1$. This reasoning can be extended to any finite amount of intersections.

(iii) $\mathscr{T}$ is closed under arbitrary unions.

$U_k \cup U_j = X \setminus (V_k \cap V_j) $, due to De Morgan’s law.Since the Intersection of two finite sets is also finite, this set is still in $\mathscr{T}$. Or Symbolically: If $|V_k \cap V_j| < |\mathbb{N}| $, then $(U_k \cup U_j) \in \mathscr{T}_1$. This reasoning can be extended to any finite amount of Unions.

Now let’s consider the infinite case: $V_k \cap … \cap V_j$ will only contain points that are in EVERY set being intersected. So if $V_k \cap … $ was infinite, that would imply the every $V_k$ being intersected is also infinite, but $V_k$ is specifically defined as being finite. Thus even with infinite Unions, $\mathscr{T}_1$ is still closed.

- Basic problem on topology $( James Dugundji)$
- Motivation behind topology
- Proof verification: $\langle 2, x \rangle$ is a prime, not principal ideal
- Fundamental group of two tori with a circle ($S^1✕${$x_0$}) identified
- A serious problem in Bijection in a Algo
- Example to show the distance between two closed sets can be 0 even if the two sets are disjoint
- Important applications of the Uniform Boundedness Principle
- Cyclic group of order $n$
- Prove the intersection of regular languages is regular.
- How to Axiomize the Notion of “Continuous Space”?

(i) is fine, (ii) is fine too, although you can do the finite case in one go (not go via 2), as “De Morgan” holds for any family of sets. The $U_i, V_i$ notation is a bit weird, and you need to consider the special case set as well:

Let $U_1,\ldots U_n$ be open in the topology. We want to show the intersection is open, so if any of them is empty, the intersection will be too, so we can discard those cases: assume all $U_i$ are non-empty and open, so their complements are finite. Now De Morgan says:

$$X \setminus (\cap_{i=1}^n U_i ) = \cup_{i=1}^n (X \setminus U_i)$$

and so the right hand side is finite, as a finite union of finite sets, and so $\cap_{i=1}^n U_i$ is cofinite, and hence open.

Now unions, which is more straightforward than you seem to think (no proof by contradiction is needed):

Suppose $U_i, i \in I$ are open. We want to see that $\cup_i U_i$ is open, so we can discard all $U_i$ that happen to be empty, because they do not affect the union. So assume all $U_i$ are cofinite, and we can assume we have at least one (so $I$ is non-empty, or we have an empty union, which is open, so OK).

Now de Morgan again:

$$X \setminus (\cup_i U_i) = \cap_i (X \setminus U_i)$$

and we see that the right hand set is an intersection of at least one finite set (and the intersection only can become smaller with more sets) so the right hand side is surely finite, and $\cup_i U_i$ is cofinite, and we’re done.

To show that an arbitrary union is in the topology, it is simpler to tackle every case directly:

Let $A=\bigcup_{i \in I} U_i$ be an arbitrary union of sets whose complements are are finite. Then by De Morgan’s law, $A=X-(\bigcap_{i \in I}V_i)$, for some finite sets $V_i$. Now by the definition of intersection, $\bigcap_{i \in I}V_i \subseteq V_i$ for all $i \in I$. But since $V_i$ is finite, so is any one of its subsets. Hence the complement of $A$ is finite, implying that $A$ is an open set.

Otherwise your arguments look good.

The problem is that, the set of finite subsets of $X$ may not be countable. So, saying $V_1, V_2, \dots$ are finite subsets is a little bit problematic.

For $(ii)$, you can simply say that:

Let $U_1, U_2 \in \mathscr T$. Let $U = U_1 \cap U_2$. Then $U^c = U_1^c \cup U_2^c$ is a union of two finite sets. Hence $U^c$ is finite and thus $U \in \mathscr T$.

For $(iii)$,

$Let \{U_\alpha \}$ be a set of opens in $\mathscr T$ (with $U_\alpha \neq \emptyset$). Let $U = \bigcup U_\alpha$. Then, $U^c = \bigcap U_\alpha^c$ is an intersection of finite sets, which is also finite. Hence $U^c$ is finite. Therefore $U \in \mathscr T$.

- Does a finite commutative ring necessarily have a unity?
- Give an example of a non-separable subspace of a separable space
- The position of a ladder leaning against a wall and touching a box under it
- how to find surface area of a sphere
- Could someone explain rough path theory? More specifically, what is the higher ordered “area process” and what information is it giving us?
- $n \mid (a^{n}-b^{n}) \ \Longrightarrow$ $n \mid \frac{a^{n}-b^{n}}{a-b}$
- ODE $y''+ 9y = 6 \cos 3x$
- Upper and lower integration inequality
- Is it sufficient for convexity?
- Axiomatizing oriented cobordism
- Intuitive explanation of a positive-semidefinite matrix
- Limit properties as $x\to \infty$ for functions
- Cardinality of quotient ring $\mathbb{Z_6}/(2x+4)$
- How to integrate $\int \frac{1}{\cos(a) – \cos(x)}\mathrm{d} x$
- What is elliptic bootstrapping?