Jednoduše souvislá množina

topologický prostor, ve kterém lze každou smyčku stáhnout do jediného bodu

Topologický prostor se nazývá jednoduše souvislý (nebo 1-souvislý nebo 1-jednoduše souvislý[1]), pokud je obloukově souvislý a každý oblouk mezi dvěma body může být spojitě transformován (intuitivně pro vložené prostory, tak aby zůstaly v daném prostoru) na jiný oblouk, přičemž se zachovávají oba koncové body. Indikátorem, že topologický prostor není jednoduše souvislý, je jeho fundamentální grupa: obloukově souvislý topologický prostor je jednoduše souvislý právě tehdy, když jeho fundamentální grupa je triviální.

Definice a ekvivalentní formulace

editovat
 
Tento tvar reprezentuje množinu, která není jednoduše souvislá, protože jakákoli smyčka, která obklopuje jednu nebo více děr, nemůže být stažena na bod bez opuštění oblasti.

Topologický prostor X se nazývá jednoduše souvislý, pokud je obloukově souvislý a jakákoli smyčka v X definovaná jako zobrazení f : S1X může být stažena na bod: existuje spojité zobrazení F : D2X takové, že funkce F restringovaná na množinu S1 je f. S1 označuje jednotkovou kružnici a D2 uzavřený jednotkový kruh v eukleidovské rovině.

Ekvivalentní formulace je tato: X je jednoduše souvislý právě tehdy, když je obloukově souvislý a když   a   jsou dva oblouky (tj.: spojitá zobrazení) se stejným počátečním a koncovým bodem (p(0) = q(0) a p(1) = q(1)), pak p lze spojitě deformovat na q při zachování obou koncových bodů. Explicitně existuje homotopie   tak, že   a  .

Topologický prostor X je jednoduše souvislý právě tehdy, když X je obloukově souvislý a fundamentální grupa X je v každém bodě triviální, tj. sestává pouze z neutrálního prvku. Podobně X je jednoduše souvislý právě tehdy, když pro všechny body  , množina morfismů   ve fundamentálním grupoidu X má jediný prvek.[2]

V komplexní analýze: otevřená podmnožina   je jednoduše souvislá právě tehdy, když X i její doplněk na Riemannově sféře jsou souvislé. Množina komplexních čísel s imaginární částí větší než nula a menší než jedna je pěkným příkladem neomezené, souvislé, otevřené podmnožiny roviny, jejíž doplněk není souvislý, je však jednoduše souvislý. Pokud uvolníme požadavek, aby X byla souvislá, vede k zajímavému prozkoumání otevřených podmnožin roviny se souvislým rozšířeným doplňkem. Například (ne nutně souvislá) otevřená množina má souvislý rozšířený doplněk právě tehdy, když každá z jeho souvislých komponent je jednoduše souvislá.

Neformální diskuze

editovat

Neformálně řečeno, objekt v našem prostoru je jednoduše souvislý, pokud je tvořen jedním kusem a nemá žádné „díry“, které jím procházejí skrz. Například záchranný kruh ani hrneček (s uchem) není jednoduše souvislý, ale dutý gumový míč jednoduše souvislý je. Ve dvourozměrném prostoru není kružnice jednoduše souvislá, ale kruh a přímka jednoduše souvislé jsou. Prostory, které jsou souvislé, ale ne jednoduše souvislé se nazývají nejednoduše souvislé nebo násobně souvislé.

 
Sféra je jednoduše souvislá, protože každá smyčka na jejím povrchu může být stažena do jediného bodu.


Definice vylučuje pouze díry tvaru ucha. Koule (nebo, ekvivalentně, gumový míč s dutým středem) je jednoduše souvislá, protože jakoukoli smyčku na povrchu koule můžeme stáhnout na bod, přestože v dutém středu má „díru“. Silnější podmínka, že objekt nemá žádné díry jakýchkoli rozměrů, se nazývá kontraktibilita.

Příklady

editovat
 
Torus (anuloid) není jednoduše souvislý povrch. Žádná z barevně vyznačených smyček na obrázku nemůže být stažena na bod bez opuštění povrchu. Plný torus také není jednoduše souvislý, protože fialovou smyčku nelze stáhnout na bod bez opuštění tělesa.

Vlastnosti

editovat

Povrch (dvourozměrné topologické variety) je jednoduše souvislý právě tehdy, když je souvislý a jeho rod plochy (počet uch nebo držadel) je 0.

Univerzální pokrytí libovolného (vhodného) prostoru X je jednoduše souvislá varieta která se zobrazuje na X přes pokrývající zobrazení.

Pokud prostory X a Y jsou homotopicky ekvivalentní a X je jednoduše souvislý, pak je jednoduše souvislý i Y.

Obraz jednoduše souvislé množiny spojitou funkcí nemusí být jednoduše souvislý. Vezmeme například komplexní rovinu zobrazenou exponenciální funkcí: jejím obrazem je komplexní rovina bez počátku (C - {0}), která není jednoduše souvislá.

Je několik důvodů, proč je pojem jednoduché souvislosti důležitý v komplexní analýze:

Pojem jednoduché souvislosti je také klíčovou podmínkou v Poincarého větě.

Reference

editovat

V tomto článku byl použit překlad textu z článku Simply connected space na anglické Wikipedii.

  1. n-connected space in nLab [online]. ncatlab.org [cit. 2017-09-17]. Dostupné online. 
  2. RONALD, Brown. Topology and Groupoids.. North Charleston: CreateSpace, June 2006. ISBN 1419627228. OCLC 712629429 
  • SPANIER, Edwin. Algebraic Topology. [s.l.]: Springer, December 1994. ISBN 0-387-94426-5. 
  • CONWAY, John, 1986. Functions of One Complex Variable I. [s.l.]: Springer. ISBN 0-387-90328-3. 
  • BOURBAKI, Nicolas, 2005. Lie Groups and Lie Algebras. [s.l.]: Springer. ISBN 3-540-43405-4. 
  • GAMELIN, Theodore. Complex Analysis. [s.l.]: Springer, January 2001. ISBN 0-387-95069-9. 
  • JOSHI, Kapli. Introduction to General Topology. [s.l.]: New Age Publishers, August 1983. ISBN 0-85226-444-5. 

Související články

editovat