Skip to main content
Notice removed Authoritative reference needed by Aldo
Bounty Ended with David Hartley's answer chosen by Aldo
Notice added Authoritative reference needed by Aldo
Bounty Started worth 100 reputation by Aldo
Post Undeleted by Aldo
Post Deleted by Aldo
edited body
Source Link
Aldo
  • 139
  • 1
  • 13

before I begin, I would like to provide some definitions and theorems.

Definition. A topological space $(X, \tau_X)$ is a continuum, if $X$ is a non-empty, metric, compact and connected space.

Definition. Let $X$ be a continuum and define $E(X)=\{p \in X: ord_X(p)=1\}$, $O(X)=\{p \in X: ord_X(p)=2\}$ and $R(X)=\{p \in X: ord_X(p) \geq 3\}$. $E(X)$, $O(X)$ and $R(X)$ denote the set of endpoints, ordinary points and branch points of $X$, respectively.

Notation. If $X$ is a topological space and $A\subseteq X$, then we denoted the boundary of $A$ in $X$ by $fr_X(A)$.

Definition. Let $(X, \tau_X)$ be a topological space, let $p \in X$, and let $\kappa$ be a cardinal number. We say that the order of $p$ in $X$, denoted by $\operatorname{ord}_X(p)$, is equal to $\kappa$ if the following conditions are satisfied:

  1. The order of $p$ in $X$ is less than or equal to $\kappa$; that is, for every open subset $U$ of $X$ containing $p$, there exists an open subset $V$ of $X$ such that $p \in V \subseteq U$ and $|fr_X(V)| \leq \kappa$.
  2. $\kappa$ is the smallest cardinal number that satisfies condition (1); that is, for every cardinal number $\alpha < \kappa$, there exists an open subset $U_\alpha$ of $X$ containing $p$ such that for every open subset $W$ of $X$ with $p \in W \subseteq U_\alpha$, it holds that $|fr_X(W)| > \alpha$.

Definition. An arc, is every topological space which is homeomorphic to the interval $[a,b]$. An arc with endpoints $a,b$ is denoted by $ab$.

Definition. Let $X$ be a topological space and $ab$ an arc, we said that $ab$ is a free arc if $ab \setminus \{a,b\}$ is open in $X$.

I would like to prove: Let $X$ be a continuum and $A$ an arc. $(A \setminus E(A)) \cap R(X)= \emptyset$ then $A$ is an free arc in $X$.

My attempt: In order to prove it, all I have been able to do is: Suppose that $(A \setminus E(A)) \cap R(X)$ is empty. We want to prove that $A$ is a free arc. Since, for each $y \in A \setminus E(A)$, $\operatorname{ord}_A(y) = 2$, using our hypothesis we have that $\operatorname{ord}_X(y) = 2$ for each $y \in A \setminus E(A)$. Let $p \in A \setminus E(A)$. We know that $A \setminus E(A)$ is an open set in $A$, so there is an open set $V$ in $X$ such that $p \in V \cap A \subseteq A \setminus E(A)$. Also, we have that there is an open subset $V_0$ of $X$ such that $p \in V_0 \subseteq V$ and $\mid \operatorname{fr}_X(V_0) \mid \leq 2$. But how can we find an open set $B$ in $X$ such that $p \in B \subseteq A \setminus E(A)$?

I have been working in this result for a long time, bitbut I have not been able to prove it or disprove it. I hope can you help me.

before I begin, I would like to provide some definitions and theorems.

Definition. A topological space $(X, \tau_X)$ is a continuum, if $X$ is a non-empty, metric, compact and connected space.

Definition. Let $X$ be a continuum and define $E(X)=\{p \in X: ord_X(p)=1\}$, $O(X)=\{p \in X: ord_X(p)=2\}$ and $R(X)=\{p \in X: ord_X(p) \geq 3\}$. $E(X)$, $O(X)$ and $R(X)$ denote the set of endpoints, ordinary points and branch points of $X$, respectively.

Notation. If $X$ is a topological space and $A\subseteq X$, then we denoted the boundary of $A$ in $X$ by $fr_X(A)$.

Definition. Let $(X, \tau_X)$ be a topological space, let $p \in X$, and let $\kappa$ be a cardinal number. We say that the order of $p$ in $X$, denoted by $\operatorname{ord}_X(p)$, is equal to $\kappa$ if the following conditions are satisfied:

  1. The order of $p$ in $X$ is less than or equal to $\kappa$; that is, for every open subset $U$ of $X$ containing $p$, there exists an open subset $V$ of $X$ such that $p \in V \subseteq U$ and $|fr_X(V)| \leq \kappa$.
  2. $\kappa$ is the smallest cardinal number that satisfies condition (1); that is, for every cardinal number $\alpha < \kappa$, there exists an open subset $U_\alpha$ of $X$ containing $p$ such that for every open subset $W$ of $X$ with $p \in W \subseteq U_\alpha$, it holds that $|fr_X(W)| > \alpha$.

Definition. An arc, is every topological space which is homeomorphic to the interval $[a,b]$. An arc with endpoints $a,b$ is denoted by $ab$.

Definition. Let $X$ be a topological space and $ab$ an arc, we said that $ab$ is a free arc if $ab \setminus \{a,b\}$ is open in $X$.

I would like to prove: Let $X$ be a continuum and $A$ an arc. $(A \setminus E(A)) \cap R(X)= \emptyset$ then $A$ is an free arc in $X$.

My attempt: In order to prove it, all I have been able to do is: Suppose that $(A \setminus E(A)) \cap R(X)$ is empty. We want to prove that $A$ is a free arc. Since, for each $y \in A \setminus E(A)$, $\operatorname{ord}_A(y) = 2$, using our hypothesis we have that $\operatorname{ord}_X(y) = 2$ for each $y \in A \setminus E(A)$. Let $p \in A \setminus E(A)$. We know that $A \setminus E(A)$ is an open set in $A$, so there is an open set $V$ in $X$ such that $p \in V \cap A \subseteq A \setminus E(A)$. Also, we have that there is an open subset $V_0$ of $X$ such that $p \in V_0 \subseteq V$ and $\mid \operatorname{fr}_X(V_0) \mid \leq 2$. But how can we find an open set $B$ in $X$ such that $p \in B \subseteq A \setminus E(A)$?

I have been working in this result for a long time, bit I have not been able to prove it or disprove it. I hope can you help me.

before I begin, I would like to provide some definitions and theorems.

Definition. A topological space $(X, \tau_X)$ is a continuum, if $X$ is a non-empty, metric, compact and connected space.

Definition. Let $X$ be a continuum and define $E(X)=\{p \in X: ord_X(p)=1\}$, $O(X)=\{p \in X: ord_X(p)=2\}$ and $R(X)=\{p \in X: ord_X(p) \geq 3\}$. $E(X)$, $O(X)$ and $R(X)$ denote the set of endpoints, ordinary points and branch points of $X$, respectively.

Notation. If $X$ is a topological space and $A\subseteq X$, then we denoted the boundary of $A$ in $X$ by $fr_X(A)$.

Definition. Let $(X, \tau_X)$ be a topological space, let $p \in X$, and let $\kappa$ be a cardinal number. We say that the order of $p$ in $X$, denoted by $\operatorname{ord}_X(p)$, is equal to $\kappa$ if the following conditions are satisfied:

  1. The order of $p$ in $X$ is less than or equal to $\kappa$; that is, for every open subset $U$ of $X$ containing $p$, there exists an open subset $V$ of $X$ such that $p \in V \subseteq U$ and $|fr_X(V)| \leq \kappa$.
  2. $\kappa$ is the smallest cardinal number that satisfies condition (1); that is, for every cardinal number $\alpha < \kappa$, there exists an open subset $U_\alpha$ of $X$ containing $p$ such that for every open subset $W$ of $X$ with $p \in W \subseteq U_\alpha$, it holds that $|fr_X(W)| > \alpha$.

Definition. An arc, is every topological space which is homeomorphic to the interval $[a,b]$. An arc with endpoints $a,b$ is denoted by $ab$.

Definition. Let $X$ be a topological space and $ab$ an arc, we said that $ab$ is a free arc if $ab \setminus \{a,b\}$ is open in $X$.

I would like to prove: Let $X$ be a continuum and $A$ an arc. $(A \setminus E(A)) \cap R(X)= \emptyset$ then $A$ is an free arc in $X$.

My attempt: In order to prove it, all I have been able to do is: Suppose that $(A \setminus E(A)) \cap R(X)$ is empty. We want to prove that $A$ is a free arc. Since, for each $y \in A \setminus E(A)$, $\operatorname{ord}_A(y) = 2$, using our hypothesis we have that $\operatorname{ord}_X(y) = 2$ for each $y \in A \setminus E(A)$. Let $p \in A \setminus E(A)$. We know that $A \setminus E(A)$ is an open set in $A$, so there is an open set $V$ in $X$ such that $p \in V \cap A \subseteq A \setminus E(A)$. Also, we have that there is an open subset $V_0$ of $X$ such that $p \in V_0 \subseteq V$ and $\mid \operatorname{fr}_X(V_0) \mid \leq 2$. But how can we find an open set $B$ in $X$ such that $p \in B \subseteq A \setminus E(A)$?

I have been working in this result for a long time, but I have not been able to prove it or disprove it. I hope can you help me.

I added a new tag
Link
Aldo
  • 139
  • 1
  • 13
Source Link
Aldo
  • 139
  • 1
  • 13

Relation between free arcs and branch points in continua

before I begin, I would like to provide some definitions and theorems.

Definition. A topological space $(X, \tau_X)$ is a continuum, if $X$ is a non-empty, metric, compact and connected space.

Definition. Let $X$ be a continuum and define $E(X)=\{p \in X: ord_X(p)=1\}$, $O(X)=\{p \in X: ord_X(p)=2\}$ and $R(X)=\{p \in X: ord_X(p) \geq 3\}$. $E(X)$, $O(X)$ and $R(X)$ denote the set of endpoints, ordinary points and branch points of $X$, respectively.

Notation. If $X$ is a topological space and $A\subseteq X$, then we denoted the boundary of $A$ in $X$ by $fr_X(A)$.

Definition. Let $(X, \tau_X)$ be a topological space, let $p \in X$, and let $\kappa$ be a cardinal number. We say that the order of $p$ in $X$, denoted by $\operatorname{ord}_X(p)$, is equal to $\kappa$ if the following conditions are satisfied:

  1. The order of $p$ in $X$ is less than or equal to $\kappa$; that is, for every open subset $U$ of $X$ containing $p$, there exists an open subset $V$ of $X$ such that $p \in V \subseteq U$ and $|fr_X(V)| \leq \kappa$.
  2. $\kappa$ is the smallest cardinal number that satisfies condition (1); that is, for every cardinal number $\alpha < \kappa$, there exists an open subset $U_\alpha$ of $X$ containing $p$ such that for every open subset $W$ of $X$ with $p \in W \subseteq U_\alpha$, it holds that $|fr_X(W)| > \alpha$.

Definition. An arc, is every topological space which is homeomorphic to the interval $[a,b]$. An arc with endpoints $a,b$ is denoted by $ab$.

Definition. Let $X$ be a topological space and $ab$ an arc, we said that $ab$ is a free arc if $ab \setminus \{a,b\}$ is open in $X$.

I would like to prove: Let $X$ be a continuum and $A$ an arc. $(A \setminus E(A)) \cap R(X)= \emptyset$ then $A$ is an free arc in $X$.

My attempt: In order to prove it, all I have been able to do is: Suppose that $(A \setminus E(A)) \cap R(X)$ is empty. We want to prove that $A$ is a free arc. Since, for each $y \in A \setminus E(A)$, $\operatorname{ord}_A(y) = 2$, using our hypothesis we have that $\operatorname{ord}_X(y) = 2$ for each $y \in A \setminus E(A)$. Let $p \in A \setminus E(A)$. We know that $A \setminus E(A)$ is an open set in $A$, so there is an open set $V$ in $X$ such that $p \in V \cap A \subseteq A \setminus E(A)$. Also, we have that there is an open subset $V_0$ of $X$ such that $p \in V_0 \subseteq V$ and $\mid \operatorname{fr}_X(V_0) \mid \leq 2$. But how can we find an open set $B$ in $X$ such that $p \in B \subseteq A \setminus E(A)$?

I have been working in this result for a long time, bit I have not been able to prove it or disprove it. I hope can you help me.