ultrafiltrs
"Ultrafiltrs" ir matemātiskais termins, kas apzīmē īpašu veida filtra (kopu kolekciju) kopu teorijā vai topoloģijā. Tas ir maksimālais filtrs, kas nevar tikt papildināts ar papildus kopām, nepārkāpjot filtra definīciju.
Galvenās īpašības:
- Jebkurai kopai \( A \) un ultrafiltram \( U \), vai nu \( A \) pieder \( U \), vai tās papildinājums \( A^c \) pieder \( U \).
- Ultrafiltri ir "pabeigti" filtri, kas nodrošina skaidru "vai nu/vai" izvēli starp jebkurām divām papildinošām kopām.
Piemēri:
1. Galīgs piemērs:
Ja \( X = \{a, b\} \) un filtrs \( U = \{\{a\}, \{a, b\}\} \), tad \( U \) nav ultrafiltrs, jo \( \{b\} \) nepieder \( U \) un tā papildinājums \( \{a\} \) jau pieder \( U \) (nav pretrunas, bet filtrs nav maksimāls).
Ultrafiltrs šajā gadījumā būtu \( U = \{\{a\}, \{a, b\}\} \) vai \( U = \{\{b\}, \{a, b\}\} \).
2. Galvenais ultrafiltrs:
Ja \( x \in X \), tad kolekcija \( U_x = \{ A \subseteq X : x \in A \} \) ir ultrafiltrs (saistīts ar punktu \( x \)).
Piemēram, ja \( X = \mathbb{N} \) un \( x = 3 \), tad \( U_3 \) satur visas kopas, kas ietver skaitli 3.
3. Brīvais ultrafiltrs:
Uz bezgalīgām kopām (piemēram, \( \mathbb{N} \)) eksistē netriviāli ultrafiltri, kas nesatur nevienu galīgu kopu. Tie nav saistīti ar konkrētu punktu un to eksistence ir atkarīga no izvēles aksiomas.
Lietojums:
Ultrafiltri tiek izmantoti matemātiskajā loģikā, topoloģijā (kompaktifikācijās), modelu teorijā un funkcionālajā analīzē, lai definētu robežas vai konstruētu paplašinājumus.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.