„Lokað mengi“: Munur á milli breytinga

Úr Wikipediu, frjálsa alfræðiritinu
Efni eytt Efni bætt við
Thvj (spjall | framlög)
lokun mengis
Thvj (spjall | framlög)
Sameinaði við greinina lokun
Lína 1: Lína 1:
'''Lokað mengi''' er [[mengi]] sem inniheldur alla [[jaðarpunktur|jaðarpunkta]] sína. Þannig er það sammengi [[iður]]s og [[jaðar]]s mengis. [[Fyllimengi]] lokaðs mengis er [[opið mengi]]. Mengi geta verið bæði opin og lokuð, eða hvorki opið né lokað. [[Lokun]] mengis myndar eðli máls lokað mengi. [[Grunnmengi]] eru til dæmis bæði opin og lokuð, og mengi sem inniheldur suma, en ekki alla jaðarpunkta sína er hvorugt.
'''Lokað mengi''' er [[mengi]] sem inniheldur alla [[jaðarpunktur|jaðarpunkta]] sína. [[Fyllimengi]] lokaðs mengis er [[opið mengi]]. Mengi geta verið bæði opin og lokuð, eða hvorki opið né lokað. [[Grunnmengi]] eru til dæmis bæði opin og lokuð, og mengi sem inniheldur suma, en ekki alla jaðarpunkta sína er hvorugt.


Eftirfarandi skilgreining er jafngild fyrir mengi í firðrúmi. Mengi ''X'' er lokað [[þá og því aðeins að]] [[markgildi]] sérhverrar [[samleitni|samleitinnar]] [[runa|runu]] af [[stak|stökum]] í menginu sé í menginu sjálfu.
Eftirfarandi skilgreining er jafngild fyrir mengi í firðrúmi. Mengi ''X'' er lokað [[þá og því aðeins að]] [[markgildi]] sérhverrar [[samleitni|samleitinnar]] [[runa|runu]] af [[stak|stökum]] í menginu sé í menginu sjálfu. [[Sniðmengi]] lokaðra mengja er lokað. Endanlegt [[sammengi]] lokaðra mengja er lokað.


Mengi getur einnig verði ''lokað'' m.t.t. [[aðgerð (stærðfræði)|reikniaðgerðar]], sem þýðir að útkoman sé einnig stak í menginu. Dæmi: Mengi [[heiltala|heiltalna]] er lokað m.t.t. [[samlagning]]ar, [[margföldun]]ar og [[frádráttur|frádráttar]], en mengi [[náttúrleg tala|nátturlegra talna]] er aðeins lokað m.t.t. samlagningar og margföldunar, en ekki frádáttar.
[[Sniðmengi]] lokaðra mengja er lokað. Endanlegt [[sammengi]] lokaðra mengja er lokað.


== Lokun mengis ==
''Lokun mengis'' á við [[aðgerð]]ina að mynda [[sammengi]] úr [[innmengi]] þess mengi og [[jaðar|jaðri]]s. Lokun mengis ''A'', sem eðlilega er [[lokað mengi]], er gjarnan táknuð með yfirstrikun eða stöfunum ''cl'':

:<math>\mathrm{cl}(A) = \bar A = A \cup \partial A .</math>


== Dæmi ==
== Dæmi ==

Útgáfa síðunnar 22. mars 2011 kl. 10:44

Lokað mengi er mengi sem inniheldur alla jaðarpunkta sína. Fyllimengi lokaðs mengis er opið mengi. Mengi geta verið bæði opin og lokuð, eða hvorki opið né lokað. Grunnmengi eru til dæmis bæði opin og lokuð, og mengi sem inniheldur suma, en ekki alla jaðarpunkta sína er hvorugt.

Eftirfarandi skilgreining er jafngild fyrir mengi í firðrúmi. Mengi X er lokað þá og því aðeins að markgildi sérhverrar samleitinnar runu af stökum í menginu sé í menginu sjálfu. Sniðmengi lokaðra mengja er lokað. Endanlegt sammengi lokaðra mengja er lokað.

Mengi getur einnig verði lokað m.t.t. reikniaðgerðar, sem þýðir að útkoman sé einnig stak í menginu. Dæmi: Mengi heiltalna er lokað m.t.t. samlagningar, margföldunar og frádráttar, en mengi nátturlegra talna er aðeins lokað m.t.t. samlagningar og margföldunar, en ekki frádáttar.

Lokun mengis

Lokun mengis á við aðgerðina að mynda sammengi úr innmengi þess mengi og jaðris. Lokun mengis A, sem eðlilega er lokað mengi, er gjarnan táknuð með yfirstrikun eða stöfunum cl:

Dæmi

  • Lokaða rauntalnabilið fyrir er lokað mengi því fyllimengi þess er opið. (Það þarf að sjálfsögðu að sýna).
  • Endanlegt mengi er lokað. Látum fyrir eitthvað mengi vera slíkt mengi, og vera óendanlega samleitna runu af stökum í sem stefnir á . Við viljum sýna að þá sé . Það er runan er samleitin gildir samkvæmt skilgreiningu að fyrir sérhvert má finna þannig að fyrir sérhvert . Með öðrum orðum mun runan á endanum vera hversu nálægt markgildi sínu sem vera skal. (Hér gerum við ráð fyrir að við séum að vinna með rauntölur, en samleitnihugtakið má alhæfa fyrir hvaða firð sem er). Við setjum , þ.e. minnsta fjarlægð staks í til . Ef þá er einhver liður í rununni jafn og því í , svo við gerum ráð fyrir að . Eins og áður var sagt er nú til þannig að fyrir sérhvert . En sérhvert er í , svo þetta myndi þýða að við hefðum fundið stak (eða jafnvel stök) í sem eru nær en , en það er mótsögn því er lágmarksfjarlægðin. Því er , svo einhver liður í rununni er jafn eins og áður sagði, og er því í . Þar með er sannað að mengið er lokað.
  • Mengi óræðra talna er ekki lokað. (Athugið að það þýðir ekki að fyllimengið sé opið). Því ef svo væri þá myndi samleitna runan með fyrir sérhvert stefna á 0 þegar stefnir á óendanlegt sem er ræð tala, en sérhver liður rununnar er óræð tala. Þetta stangast á við skilgreininguna á lokuðu mengi, og því er mengi óræðra talna ekki lokað.