Obloukově souvislá množina

Obloukově souvislý topologický prostor je pojem z matematiky, konkrétněji z topologie. Je to vlastnost prostoru, v kterém se libovolné dva body dají spojit křivkou.

Definice

Topologický prostor je obloukově souvislý, pokud každé dva jeho body $A,B\in X$ existuje spojitá křivka

$s:[0,1]\to X,s(0)=A,s(1)=B.$

Podmnožina $Y$ topologického prostoru $X$ se nazývá obloukově souvislá, pokud $Y$ je souvislý jako topologický prostor vzhledem k indukované topologii.

Příklady

1. Euklidovské prostory ${ℝ}^n$, $n\in {\mathbb{N}}_0$, uvažované s metrickou topologií jsou obloukově souvislé
2. Hilbertovy prostory ,obecněji topologický vektorový prostor, jsou obloukově souvislé.
3. ${ℝ}^2$ bez osy $x$ není souvislý prostor. Obecná lineární grupa, ani grupa všech Lorentzových transformací nejsou obloukově souvislé. (Nejsou ani souvislé.)

Tvrzení

Pokud je topologický prostor $X$ obloukově souvislý, pak je souvislý.

Obrácená věta však neplatí. Protipříkladem je množina $\{(0,y)||y|\le 1\}\cup \left\{(x,\sin \frac{1}{x})\right|x>0\}$. Tato množina je souvislá, ale není obloukově souvislá.