Existe um caminho de $x$ para $y$.
Considere a relação $x$ ~$y$ dada por “existe um caminho de $x$ para $y$”. Vamos demonstrar essa afirmação com algumas proposições.
Proposição 1
Ser conexo por caminhos é um invariante topológico. Demonstração
Proposição 2
Considere a relação $x$~$y$ dada por existe um caminho de $x$ para $y$. Então ela é uma relação de equivalência. Demonstração
Proposição 3
Fixado $x$, o conjunto $\{y:$ existe um caminho de $x$ para $y\}$ é exatamente o conjunto dos $y$'s equivalentes a $x$ por ~. Chamamos tal conjunto de componente conexa por caminhos de $x$. Demonstração
A componente conexa por caminhos de um ponto é sempre fechada? Demonstração
Proposição 4
A componente conexa por caminhos de um ponto é sempre aberta. Demonstração