„Uniform tér” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a Topológia” kategória hozzáadva (a HotCattel)
→‎Definíció: definíció uniform fedéssel
12. sor:
 
===Uniform fedéssel===
Az <math>(X, \Phi)</math> páros uniform tér, ha ''X'' alaphalmaz, és Φ fedések egy családja, amikre teljesülnek a következők:
 
# {X} eleme Φ-nek.
# Legyenek a ''P'' fedése Φ eleme, és legyen ''Q'' fedés, hogy minden ''A''∈''P''-hez van ''U''∈''Q'', hogy ''U'' tartalmaz minden ''P''-beli ''B'' halmazt, ami nem diszjunkt ''A''-tól. Ezt úgy nevezzük, hogy a ''P''-beli fedés a ''Q'' fedés finomítása. Ekkor ''Q''∈Φ.
# Ha a ''P'' és a ''Q'' fedés is eleme Φ-nek, akkor van közös finomításuk Φ-ben.
 
Φ elemei az uniform fedések, és Φ fedési struktúra.
 
{{csonk-dátum|csonk-szakasz|2007 februárjából}}