„Belső rész (topológia)” 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
Xia (vitalap | szerkesztései) fölösleges vastagítások |
Nincs szerkesztési összefoglaló |
||
4. sor:
Ezzel ekvivalens definíció szerint ''S'' belső része az ''S ''[[Komplementer (egyértelműsítő lap)|komplementerének]] a [[Halmaz lezártja|lezártjának]] a komplementere. Ebből következően valamilyen szinten a halmazok lezártja és a belső része szorosan összetartozó fogalmak.
Egy halmaz ''külső része'' pedig megegyezik a halmaz [[Komplementer (egyértelműsítő lap)|komplementerének]] a belső részével, vagy másképp, a halmaz lezártjának a komplementerével. Egy halmaz külső része azon pontok halmaza, amelyek nem elemei sem a halmaznak sem a halmaz [[Határ (matematika)|határának]]. A egy halmaz belső része, a határa és a külső része a teljes topologikus teret 3 (vagy kevesebb ha valamelyik [[üres halmaz]]) diszjunkt részre
== Definíciók ==
24. sor:
Ez a definíció a [[Metrikus tér|metrikus térben]] értelmezett belső pont definíció kiterjesztése. Ha ugyanis ''X ''metrikus tér ''d ''metrikával, akkor ''x S ''belső pontja ha létezik ''r'' > 0, úgy, hogy bármely, ''y ''eleme ''S''-nek akkor ha ha ''d''(''x'', ''y'') < ''r.''
A topologikus terek esetén a nyílt halmazt (gömböt) lecseréli a
=== Egy halmaz belső része ===
41. sor:
*Bármely térben, [[üres halmaz]] belső része üres halmaz.
*
*Ha ''X '' az euklidészi tere az <math>\mathbb{R}</math> valós számoknak akkor <math>int([0;1]) = (0;1)</math>.
*Ha X az euklidészi tere a <math>\mathbb{R}</math> valós számoknak akkor a [[racionális számok]] <math>\mathbb{Q}</math> halmazának a belső része üres halmaz.
*Ha ''X '' a komplex számsík <math>\mathbb{C} = \mathbb{R}^2</math> akkor <math>int</math><math>(\{z\in \mathbb{C} : |z| \geq 1\}) = \{z\in \mathbb{C} : |z| > 1\}.</math>
*Bármilyen euklidészi
== Belső rész operátor ==<!-- This section is linked from above -->
61. sor:
== Halmazok külső része ==
{{main|Külső rész (topológia)}}
Egy ''S ''halmaz külső részét, ha a teljes
*ext(''S'') egy nyílt halmaz amely diszjunkt ''S''-től.
|