1) Vrai
On appelle d’ailleurs τ={X,∅} la topologie grossière associée à X.
On vérifie tout d’abord que ∅∈τ et X∈τ
Soit {Oi}i∈I une famille d’éléments de τ indexée par I, ⋃i∈IOi∈τ
En effet, si un des Oi est R alors l’union est R , sinon si aucun des Oi est R , l’union est l’ensemble vide. Dans les deux cas, l’union est dans τ.
Soit {Oi}i∈[[1,n]] une famille finie d’éléments de τ, ⋂i=1nOi∈τ
En effet, si un des Oi est ∅ alors l’intersection est ∅ , sinon si aucun des Oi est ∅ , l’intersection est R. Dans les deux cas, l’intersection est dans τ.
2) Vrai
On vérifie tout d’abord que ∅∈τ et X={0,1}∈τ
Soit {Oi}i∈I une famille d’éléments de τ indexée par I, ⋃i∈IOi∈τ
En effet, si un des Oi est X={0,1} alors l’union est {0,1}, sinon si un des Oi est {0} alors l’union est {0} , sinon l’union est l’ensemble vide. Dans les trois cas, l’union est dans τ.
Soit {Oi}i∈[[1,n]] une famille finie d’éléments de τ, ⋂i=1nOi∈τ
En effet, si un des Oi est ∅ alors l’intersection est ∅, sinon si un des Oi est {0} alors l’intersection est {0} , sinon l’intersection est X={0,1}. Dans les trois cas, l’intersection est dans τ.
3) Faux
∅∈/τ
4) Vrai
On vérifie tout d’abord que ∅∈τ et X={a,b,c}∈τ
Soit {Oi}i∈I une famille d’éléments de τ indexée par I, ⋃i∈IOi∈τ
En effet, si un des Oi est X={a,b,c} alors l’union est {a,b,c}, sinon si un des Oi est {a,b} alors l’union est {a,b} , sinon si un des Oi est {a} alors l’union est {a} , sinon l’union est l’ensemble vide. Dans les quatre cas, l’union est dans τ.
Soit {Oi}i∈[[1,n]] une famille finie d’éléments de τ, ⋂i=1nOi∈τ
En effet, si un des Oi est ∅ alors l’intersection est ∅, sinon si un des Oi est {a} alors l’intersection est {a} , sinon si un des Oi est {a,b} alors l’intersection est {a,b}, sinon l’intersection est X={a,b,c}. Dans les quatre cas, l’intersection est dans τ.
5) Faux
τ n’est pas stable par intersection finie : {0,1}∩{1,2}={1}∈/τ
No messages yet.