Ivan Shishkin, Rye (1878)

Discussions

Exemples simples d’espaces topologiques

0 messages

Solution

Solution by darktoaster · FR

1)\textbf{1)} Vrai
\newline
On appelle d’ailleurs τ={X,∅}\tau = \{X, \emptyset \} la topologie grossière associée à XX.
\newline
On vérifie tout d’abord que ∅∈τ\emptyset \in \tau et X∈τX \in \tau
\newline
Soit {Oi}i∈I\{O_{i}\}_{i\in I} une famille d’éléments de τ\tau indexée par II, ⋃i∈IOi∈τ\bigcup_{i \in I} O_{i} \in \tau
En effet, si un des OiO_{i} est R\mathbb{R} alors l’union est R\mathbb{R} , sinon si aucun des OiO_{i} est R\mathbb{R} , l’union est l’ensemble vide. Dans les deux cas, l’union est dans τ\tau.

Soit {Oi}i∈[ ⁣[1,n] ⁣]\{O_{i}\}_{i\in [\![1,n]\!]} une famille finie d’éléments de τ\tau, ⋂i=1nOi∈τ\bigcap_{i = 1}^{n} O_{i} \in \tau
En effet, si un des OiO_{i} est ∅\emptyset alors l’intersection est ∅\emptyset , sinon si aucun des OiO_{i} est ∅\emptyset , l’intersection est R\mathbb{R}. Dans les deux cas, l’intersection est dans τ\tau.
\newline
2)\textbf{2)} Vrai
\newline
On vérifie tout d’abord que ∅∈τ\emptyset \in \tau et X={0,1}∈τX = \{0,1\} \in \tau
\newline
Soit {Oi}i∈I\{O_{i}\}_{i\in I} une famille d’éléments de τ\tau indexée par II, ⋃i∈IOi∈τ\bigcup_{i \in I} O_{i} \in \tau
En effet, si un des OiO_{i} est X={0,1}X = \{0,1\} alors l’union est {0,1}\{0,1\}, sinon si un des OiO_{i} est {0}\{0\} alors l’union est {0}\{0\} , sinon l’union est l’ensemble vide. Dans les trois cas, l’union est dans τ\tau.

Soit {Oi}i∈[ ⁣[1,n] ⁣]\{O_{i}\}_{i\in [\![1,n]\!]} une famille finie d’éléments de τ\tau, ⋂i=1nOi∈τ\bigcap_{i = 1}^{n} O_{i} \in \tau
En effet, si un des OiO_{i} est ∅\emptyset alors l’intersection est ∅\emptyset, sinon si un des OiO_{i} est {0}\{0\} alors l’intersection est {0}\{0\} , sinon l’intersection est X={0,1}X = \{0,1\}. Dans les trois cas, l’intersection est dans τ\tau.
\newline
3)\textbf{3)} Faux
\newline
∅∉τ\emptyset \notin \tau
\newline
4)\textbf{4)} Vrai
\newline
On vérifie tout d’abord que ∅∈τ\emptyset \in \tau et X={a,b,c}∈τX = \{a,b,c\} \in \tau
\newline
Soit {Oi}i∈I\{O_{i}\}_{i\in I} une famille d’éléments de τ\tau indexée par II, ⋃i∈IOi∈τ\bigcup_{i \in I} O_{i} \in \tau
En effet, si un des OiO_{i} est X={a,b,c}X = \{a,b,c\} alors l’union est {a,b,c}\{a,b,c\}, sinon si un des OiO_{i} est {a,b}\{a,b\} alors l’union est {a,b}\{a,b\} , sinon si un des OiO_{i} est {a}\{a\} alors l’union est {a}\{a\} , sinon l’union est l’ensemble vide. Dans les quatre cas, l’union est dans τ\tau.

Soit {Oi}i∈[ ⁣[1,n] ⁣]\{O_{i}\}_{i\in [\![1,n]\!]} une famille finie d’éléments de τ\tau, ⋂i=1nOi∈τ\bigcap_{i = 1}^{n} O_{i} \in \tau
En effet, si un des OiO_{i} est ∅\emptyset alors l’intersection est ∅\emptyset, sinon si un des OiO_{i} est {a}\{a\} alors l’intersection est {a}\{a\} , sinon si un des OiO_{i} est {a,b}\{a,b \} alors l’intersection est {a,b}\{a,b \}, sinon l’intersection est X={a,b,c}X = \{a,b,c\}. Dans les quatre cas, l’intersection est dans τ\tau.
\newline
5)\textbf{5)} Faux
\newline
τ\tau n’est pas stable par intersection finie : {0,1}∩{1,2}={1}∉τ\{0,1\} \cap \{1,2\} = \{1\} \notin \tau

No messages yet.