Skip to content

Latest commit

 

History

History
36 lines (22 loc) · 736 Bytes

idees.md

File metadata and controls

36 lines (22 loc) · 736 Bytes

Idees pel Topology Game

  1. Conjunts
  • unió / intersecció, relacions bàsiques

1b. Filtres

...

  1. Espais mètrics

  2. Topologia bàsica

  • Veure que l'axioma del buit no cal.
  • Unió de dos oberts és obert
  • Intersecció de finits oberts és obert.
  • Exemple topologia grollera / discreta
  • Exemple del punt distingit / punt exclòs
  1. Left rays

  2. Separació

  • demostrar que la grollera amb dos punts (o la cofinita) no són Hausdorff
  • espais mètrics són Hausdorff
  1. Compacitat
  • compacte + Hausdorff és tancat
  • compacte vs filtres, Hausdorff vs filtres.

Projectes 'topologia amb Lean'

  1. Topologia quocient - construcció de superfícies via polígons.
  2. Lema de la sub-base d'Alexander