Déterminer si les espaces suivants sont des espaces topologiques:
- muni de .
- muni de .
- muni de .
- muni de .
- muni de .
Solutions
1Reveal solutionsAre you sure? Give it a try first.
Vrai
On appelle d’ailleurs la topologie grossière associée à .
On vérifie tout d’abord que et
Soit une famille d’éléments de indexée par ,
En effet, si un des est alors l’union est , sinon si aucun des est , l’union est l’ensemble vide. Dans les deux cas, l’union est dans .
Soit une famille finie d’éléments de ,
En effet, si un des est alors l’intersection est , sinon si aucun des est , l’intersection est . Dans les deux cas, l’intersection est dans .
Vrai
On vérifie tout d’abord que et
Soit une famille d’éléments de indexée par ,
En effet, si un des est alors l’union est , sinon si un des est alors l’union est , sinon l’union est l’ensemble vide. Dans les trois cas, l’union est dans .
Soit une famille finie d’éléments de ,
En effet, si un des est alors l’intersection est , sinon si un des est alors l’intersection est , sinon l’intersection est . Dans les trois cas, l’intersection est dans .
Faux
Vrai
On vérifie tout d’abord que et
Soit une famille d’éléments de indexée par ,
En effet, si un des est alors l’union est , sinon si un des est alors l’union est , sinon si un des est alors l’union est , sinon l’union est l’ensemble vide. Dans les quatre cas, l’union est dans .
Soit une famille finie d’éléments de ,
En effet, si un des est alors l’intersection est , sinon si un des est alors l’intersection est , sinon si un des est alors l’intersection est , sinon l’intersection est . Dans les quatre cas, l’intersection est dans .
Faux
n’est pas stable par intersection finie :
