En topologio kaj rilatantaj areoj de matematiko, subaro A de topologia spaco X estas nomita kiel densa (en X) se, ĉiu punkto en X povas esti "bone-aproksimita" per punktoj en A. Formale, A estas densa en X se por ĉiu punkto x en X, ĉiu najbareco de x enhavas almenaŭ unu punkton de A.

Ekvivalente, A estas densa en X se nur fermita subaro de X enhavanta na A estas X sin. Ĉi tiu povas ankaŭ esti esprimita per tio ke la fermaĵo de A estas X, aŭ ke la eno de la komplemento de A estas malplena.

Alternativa difino en la okazo de la metrikaj spacoj estas jena: aro A en metrika spaco X estas densa se ĉiu $x$ en $X$ estas limigo de vico de eroj en A.

Ekzemploj

• Ĉiu topologia spaco estas densa en si
• La reelaj nombroj kun la kutima topologio enhavas racionalajn nombrojn kaj neracionalajn nombrojn kiel densaj subaroj
• Metrika spaco $M$ estas densa en ĝia plenigo $\backslash gamma\; M$

Vidu ankaŭ jenon:

• Apartigebla spaco, spaco kun numerebla densa subaro
• Nenie densa aro, la kontraŭa nocio

Ĝenerala topologio

Hustá množina | Dicht (Mathematik) | Dense set | Tiheä joukko | קבוצה צפופה | Insieme denso | 稠密 | Zbiór gęsty | 稠密集