Hausdorffrum
Hausdorffrum er et emne, der har fanget samfundets opmærksomhed de seneste år. Med sin relevans inden for det akademiske, sociale, politiske og teknologiske felt er Hausdorffrum blevet et punkt for konstant debat og en uudtømmelig kilde til information og kontrovers. Fra dets oprindelse til dets nuværende virkning har Hausdorffrum vist sig at være et mangefacetteret emne, der omfatter en bred vifte af overvejelser og aspekter. I denne artikel vil vi undersøge nogle af de mest relevante tilgange relateret til Hausdorffrum, analysere dens indflydelse på forskellige områder og undersøge dens relevans i dagens samfund.
I topologi og relaterede områder i matematikken er et Hausdorffrum (også kaldet et separeret rum eller T2-rum) et topologisk rum i hvilket forskellige punkter har disjunkte omegne; for euklidisk rum (og for den sags skyld for generelle metriske rum) betyder betingelsen, at det givet to forskellige punkter er muligt at finde tilstrækkeligt små kugler om hvert punkt, som snitter tomt, hvilket i dette tilfælde altid er muligt – se også billedet nedenfor. "Hausdorffbetingelsen" er det oftest benyttede og diskuterede af separationsaksiomerne. Betingelsen medfører entydighed af grænseværdi af følger, net og filtre.
Hausdorffrum er opkaldt efter Felix Hausdorff, som var blandt topologiens grundlæggere. Hausdorffs oprindelige definition på et topologisk rum (fra 1914) medtog Hausdorffbetingelsen som aksiom.
Definitioner
Antag at X er et topologisk rum. Lad x og y være punkter i X. Punkterne siges at være adskilt af omegne, hvis der eksisterer en omegn U om x og en omegn V om y, så U og v er disjunkte (U ∩ V = ). X kaldes et Hausdorffrum (eller blot Hausdorff), hvis to vilkårlige forskellige punkter i X kan adskilles af omegne. Denne betingelse er det tredje separationsaksiom, efter T0 og T1, hvorfor Hausdorffrum også kaldes T2-rum.
Et relateret men svagere begreb er begrebet preregulært rum. X kaldes preregulær, hvis to topologisk skelnelige punkter kan adskilles af omegne. Preregulære rum kaldes også R1-rum. Sammenhængen mellem de to begreber er den følgende: Et topologisk rum er Hausdorff hvis og kun hvis det er både preregulært og Kolmogorov (dvs. forskellige punkter er topologisk skelnelige). Et topologisk rum er preregulært, hvis og kun hvis dets Kolmogorovkvotient er Hausdorff.
Eksempler og modeksempler
Næsten alle rum, der optræder i matematisk analyse er Hausdorff; det vigtigste eksempel er de reelle tal (med topologien fra metrikken). Mere generelt er alle metriske rum Hausdorff. De fleste rum, der bruges i analyse, såsom topologiske grupper og topologiske mangfoldigheder, har Hausdorffbetingelsen i definitionen.
Et simpelt eksempel på en topologi, der er T1 men ikke Hausdorff, er den koendelige topologi på en uendelig mængde. I denne topologi er de åbne mængder de mængder, hvis komplement er endeligt.
I modsætning til i analysen forekommer i abstrakt algebra og algebraisk geometri rum, der end ikke er preregulære; eksempelvis som Zariskitopologien på en algebraisk varietet eller spektret af en ring. De optræder også i modelteorien i intuitionistisk logik.