Return to Answer

Nik's answer seems perfectly suited to what the OP was looking for, but there are indeed other generalizations of (complete) regularity to C-algebras, as shown in Rosický's "Multiplicative lattices and C*-algebras" Cahiers Top. Geom. Diff. Cat. tome 30 no 2 (1989), 95-110. To paraphrase part of that paper, note first that regularity can be stated in terms of open and closed sets, without reference to points. Specifically, a topological space $X$ is regular iff, for every open $O\subseteq X$, $$O=\bigcup\{N:N\text{ is open and }\overline{N}\subseteq O\}.$$ So a natural question to ask is whether, for any C-algebra $A$ and open projection $q\in A^{**}$, $$q=\bigvee\{p\in A^{**}:p\text{ is an open projection and }\overline{p}\leq q\}?$$ The answer is yes. To see this, take any $a\in A^1_+$ with $a\leq q$ and note that $\overline{a_{(\epsilon,1]}}\leq a_{[\epsilon,1]}\leq a_{(0,1]}\leq q$, for any $\epsilon>0$, where $a_S$ denotes the spectral projection of $a$ in $A^{**}$ corresponding to $S\subseteq\mathbb{R}$. The result now follows because $q$ being open means $$q=\bigvee\{a_{(0,1]}:a\in A^1_+\text{ and }a\leq q\}.\\\\$$

As $\overline{N\cup M}=\overline{N}\cup\overline{M}$, for open subsets $N$ and $M$, above we actually have a directed union. On the other hand, we can have $\overline{p\vee r}\neq\overline{p}\vee\overline{r}$ for open projections $p$ and $r$, as in Example II.6 in Akemann's paper referred to by Nik, which also shows that the supremum above is not always directed. However, we might ask:

Can the open projections above be replaced by a directed subset?

In general I do not know. If $A$ is separable then the answer is yes, as then every open $p$ will be of the form $a_{(0,1]}$, for some $a\in A^1_+$, and $a_{(\epsilon,1]}$ is directed, for $\epsilon>0$. More generally, the answer is yes if $A$ has an "almost idempotent" approximate unit $(a_\lambda)\subseteq A^1_+$, i.e. such that $a_\lambda a_\gamma=a_\lambda$ whenever $\lambda<\gamma$. Wondering if, in fact, all C*-algebras have such an approximate unit led me to post this question.

Regardless, in general we can still get a weaker iterated form of directedness. Specifically, note that $(a+b)_{(0,1]}=a_{(0,1]}\vee b_{(0,1]}$, for all $a,b\in A^1_+$, so every open projection $r$ is a directed supremum of open projections $q$, which are all themselves directed supremums of open projections $p$ with $\overline{p}\leq q$.

Also note the relation $\overline{N}\subseteq O$ can be expressed purely in terms of open sets as $$\text{there exists open $M$ disjoint from $N$ such that }X=M\cup O.$$ Wondering if, for open projections $p,q\in A^{**}$, $\overline{p}\leq q$ can also be expressed similarly in terms of open projections just led me to post this question. In fact, it is really relation 2. of that question, used with iterated directness as above, that Rosický considers as the appropriate notion of regularity for C*-algebras in the paper mentioned above.

For complete regularity one replaces $\overline{N}\subseteq O$ with the statement that there exist open $(O_r)$ for $r\in[0,1]$ (or $[0,1]\cap\mathbb{Q}$, as in Rosický's paper) such that $N\subseteq O_0$, $O_1\subseteq O$ and $\overline{O}_s\subseteq O_t$ whenever $s<t$. Again, the analogous statement for complete regularity holds for open projections in C*-algebras although again it is not clear if the supremum can always be replaced with a directed supremum.

Nik's answer seems perfectly suited to what the OP was looking for, but there are indeed other generalizations of (complete) regularity to C-algebras, as shown in Rosický's "Multiplicative lattices and C*-algebras" Cahiers Top. Geom. Diff. Cat. tome 30 no 2 (1989), 95-110. To paraphrase part of that paper, note first that regularity can be stated in terms of open and closed sets, without reference to points. Specifically, a topological space $X$ is regular iff, for every open $O\subseteq X$, $$O=\bigcup\{N:N\text{ is open and }\overline{N}\subseteq O\}.$$ So a natural question to ask is whether, for any C-algebra $A$ and open projection $q\in A^{**}$, $$q=\bigvee\{p\in A^{**}:p\text{ is an open projection and }\overline{p}\leq q\}?$$ The answer is yes. To see this, take any $a\in A^1_+$ with $a\leq q$ and note that $\overline{a_{(\epsilon,1]}}\leq a_{[\epsilon,1]}\leq a_{(0,1]}\leq q$, for any $\epsilon>0$, where $a_S$ denotes the spectral projection of $a$ in $A^{**}$ corresponding to $S\subseteq\mathbb{R}$. The result now follows because $q$ being open means $$q=\bigvee\{a_{(0,1]}:a\in A^1_+\text{ and }a\leq q\}.\\\\$$

As $\overline{N\cup M}=\overline{N}\cup\overline{M}$, for open subsets $N$ and $M$, above we actually have a directed union. On the other hand, we can have $\overline{p\vee r}\neq\overline{p}\vee\overline{r}$ for open projections $p$ and $r$, as in Example II.6 in Akemann's paper referred to by Nik, which also shows that the supremum above is not always directed. However, we might ask:

Can the open projections above be replaced by a directed subset?

In general I do not know. If $A$ is separable then the answer is yes, as then every open $p$ will be of the form $a_{(0,1]}$, for some $a\in A^1_+$, and $a_{(\epsilon,1]}$ is directed, for $\epsilon>0$. More generally, the answer is yes if $A$ has an "almost idempotent" approximate unit $(a_\lambda)\subseteq A^1_+$, i.e. such that $a_\lambda a_\gamma=a_\lambda$ whenever $\lambda<\gamma$. Wondering if, in fact, all C*-algebras have such an approximate unit led me to post this question.

Regardless, in general we can still get a weaker iterated form of directedness. Specifically, note that $(a+b)_{(0,1]}=a_{(0,1]}\vee b_{(0,1]}$, for all $a,b\in A^1_+$, so every open projection $r$ is a directed supremum of open projections $q$, which are all themselves directed supremums of open projections $p$ with $\overline{p}\leq q$.

Also note the relation $\overline{N}\subseteq O$ can be expressed purely in terms of open sets as $$\text{there exists open $M$ disjoint from $N$ such that }X=M\cup O.$$ Wondering if, for open projections $p,q\in A^{**}$, $\overline{p}\leq q$ can also be expressed similarly in terms of open projections just led me to post this question. In fact, it is really relation 2. of that question, used with iterated directness as above, that Rosický considers as the appropriate notion of regularity for C*-algebras in the paper mentioned above.

For complete regularity one replaces $\overline{N}\subseteq O$ with the statement that there exist open $(O_r)$ for $r\in[0,1]$ (or $[0,1]\cap\mathbb{Q}$, as in Rosický's paper) such that $N\subseteq O_0$, $O_1\subseteq O$ and $\overline{O}_s\subseteq O_t$ whenever $s<t$. Again, the analogous statement for complete regularity holds for open projections in C*-algebras although again it is not clear if the supremum can always be replaced with a directed supremum.

Nik's answer seems perfectly suited to what the OP was looking for, but there are indeed other generalizations of (complete) regularity to C-algebras, as shown in Rosický's "Multiplicative lattices and C*-algebras" Cahiers Top. Geom. Diff. Cat. tome 30 no 2 (1989), 95-110. To paraphrase part of that paper, note first that regularity can be stated in terms of open and closed sets, without reference to points. Specifically, a topological space $X$ is regular iff, for every open $O\subseteq X$, $$O=\bigcup\{N:N\text{ is open and }\overline{N}\subseteq O\}.$$ So a natural question to ask is whether, for any C-algebra $A$ and open projection $q\in A^{**}$, $$q=\bigvee\{p\in A^{**}:p\text{ is an open projection and }\overline{p}\leq q\}?$$ The answer is yes. To see this, take any $a\in A^1_+$ with $a\leq q$ and note that $\overline{a_{(\epsilon,1]}}\leq a_{[\epsilon,1]}\leq a_{(0,1]}\leq q$, for any $\epsilon>0$, where $a_S$ denotes the spectral projection of $a$ in $A^{**}$ corresponding to $S\subseteq\mathbb{R}$. The result now follows because $q$ being open means $$q=\bigvee\{a_{(0,1]}:a\in A^1_+\text{ and }a\leq q\}.\\\\$$

As $\overline{N\cup M}=\overline{N}\cup\overline{M}$, for open subsets $N$ and $M$, above we actually have a directed union. On the other hand, we can have $\overline{p\vee r}\neq\overline{p}\vee\overline{r}$ for open projections $p$ and $r$, as in Example II.6 in Akemann's paper referred to by Nik, which also shows that the supremum above is not always directed. However, we might ask, $$\text{can the open projections above be replaced by a directed subset?}$$ In general I do not know. If $A$ is separable then the answer is yes, as then every open $p$ will be of the form $a_{(0,1]}$, for some $a\in A^1_+$, and $a_{(\epsilon,1]}$ is directed, for $\epsilon>0$. More generally, the answer is yes if $A$ has an "almost idempotent" approximate unit $(a_\lambda)\subseteq A^1_+$, i.e. such that $a_\lambda a_\gamma=a_\lambda$ whenever $\lambda\leq\gamma$. Wondering if, in fact, all C*-algebras have such an approximate unit led me to post this question.

Regardless, in general we can still get a weaker iterated form of directedness. Specifically, note that $(a+b)_{(0,1]}=a_{(0,1]}\vee b_{(0,1]}$, for all $a,b\in A^1_+$, so every open projection $r$ is a directed supremum of open projections $q$, which are all themselves directed supremums of open projections $p$ with $\overline{p}\leq q$.

Also note the relation $\overline{N}\subseteq O$ can be expressed purely in terms of open sets as $$\text{there exists open $M$ disjoint from $N$ such that }X=M\cup O.$$ Wondering if, for open projections $p,q\in A^{**}$, $\overline{p}\leq q$ can also be expressed similarly in terms of open projections just led me to post this question. In fact, it is really relation 2. of that question, used with iterated directness as above, that Rosický considers as the appropriate notion of regularity for C*-algebras in the paper mentioned above.

For complete regularity one replaces $\overline{N}\subseteq O$ with the statement that there exist open $(O_r)$ for $r\in[0,1]$ (or $[0,1]\cap\mathbb{Q}$, as in Rosický's paper) such that $N\subseteq O_0$, $O_1\subseteq O$ and $\overline{O}_s\subseteq O_t$ whenever $s<t$. Again, the analogous statement for complete regularity holds for open projections in C*-algebras although again it is not clear if the supremum can always be replaced with a directed supremum.

Nik's answer seems perfectly suited to what the OP was looking for, but there are indeed other generalizations of (complete) regularity to C-algebras, as shown in Rosický's "Multiplicative lattices and C*-algebras" Cahiers Top. Geom. Diff. Cat. tome 30 no 2 (1989), 95-110. To paraphrase part of that paper, note first that regularity can be stated in terms of open and closed sets, without reference to points. Specifically, a topological space $X$ is regular iff, for every open $O\subseteq X$, $$O=\bigcup\{N:N\text{ is open and }\overline{N}\subseteq O\}.$$ So a natural question to ask is whether, for any C-algebra $A$ and open projection $q\in A^{**}$, $$q=\bigvee\{p\in A^{**}:p\text{ is an open projection and }\overline{p}\leq q\}?$$ The answer is yes. To see this, take any $a\in A^1_+$ with $a\leq q$ and note that $\overline{a_{(\epsilon,1]}}\leq a_{[\epsilon,1]}\leq a_{(0,1]}\leq q$, for any $\epsilon>0$, where $a_S$ denotes the spectral projection of $a$ in $A^{**}$ corresponding to $S\subseteq\mathbb{R}$. The result now follows because $q$ being open means $$q=\bigvee\{a_{(0,1]}:a\in A^1_+\text{ and }a\leq q\}.\\\\$$

As $\overline{N\cup M}=\overline{N}\cup\overline{M}$, for open subsets $N$ and $M$, above we actually have a directed union. On the other hand, we can have $\overline{p\vee r}\neq\overline{p}\vee\overline{r}$ for open projections $p$ and $r$, as in Example II.6 in Akemann's paper referred to by Nik, which also shows that the supremum above is not always directed. However, we might ask:

Can the open projections above be replaced by a directed subset?

In general I do not know. If $A$ is separable then the answer is yes, as then every open $p$ will be of the form $a_{(0,1]}$, for some $a\in A^1_+$, and $a_{(\epsilon,1]}$ is directed, for $\epsilon>0$. More generally, the answer is yes if $A$ has an "almost idempotent" approximate unit $(a_\lambda)\subseteq A^1_+$, i.e. such that $a_\lambda a_\gamma=a_\lambda$ whenever $\lambda<\gamma$. Wondering if, in fact, all C*-algebras have such an approximate unit led me to post this question.

Regardless, in general we can still get a weaker iterated form of directedness. Specifically, note that $(a+b)_{(0,1]}=a_{(0,1]}\vee b_{(0,1]}$, for all $a,b\in A^1_+$, so every open projection $r$ is a directed supremum of open projections $q$, which are all themselves directed supremums of open projections $p$ with $\overline{p}\leq q$.

Also note the relation $\overline{N}\subseteq O$ can be expressed purely in terms of open sets as $$\text{there exists open $M$ disjoint from $N$ such that }X=M\cup O.$$ Wondering if, for open projections $p,q\in A^{**}$, $\overline{p}\leq q$ can also be expressed similarly in terms of open projections just led me to post this question. In fact, it is really relation 2. of that question, used with iterated directness as above, that Rosický considers as the appropriate notion of regularity for C*-algebras in the paper mentioned above.

For complete regularity one replaces $\overline{N}\subseteq O$ with the statement that there exist open $(O_r)$ for $r\in[0,1]$ (or $[0,1]\cap\mathbb{Q}$, as in Rosický's paper) such that $N\subseteq O_0$, $O_1\subseteq O$ and $\overline{O}_s\subseteq O_t$ whenever $s<t$. Again, the analogous statement for complete regularity holds for open projections in C*-algebras although again it is not clear if the supremum can always be replaced with a directed supremum.

Nik's answer seems perfectly suited to what the OP was looking for, but there are indeed other generalizations of (complete) regularity to C-algebras, as shown in Rosicky's "Multiplicative lattices and C-algebras" Cahiers Top. Geom. Diff. Cat. tome 30 no 2 (1989), 95-110. To paraphrase part of that paper, note first that regularity can be stated in terms of open and closed sets, without reference to points. Specifically, a topological space $X$ is regular iff, for every open $O\subseteq X$, $$O=\bigcup\{N:N\text{ is open and }\overline{N}\subseteq O\}.$$ So a natural question to ask is whether, for any C*-algebra $A$ and open projection $q\in A^{**}$, $$q=\bigvee\{p\in A^{**}:p\text{ is an open projection and }\overline{p}\leq q\}?$$ The answer is yes. To see this, take any $a\in A^1_+$ with $a\leq q$ and note that $\overline{a_{(\epsilon,1]}}\leq a_{[\epsilon,1]}\leq a_{(0,1]}\leq q$, for any $\epsilon>0$, where $a_S$ denotes the spectral projection of $a$ in $A^{**}$ corresponding to $S\subseteq\mathbb{R}$. The result now follows because $q$ being open means $$q=\bigvee\{a_{(0,1]}:a\in A^1_+\text{ and }a\leq q\}.\\\\$$

As $\overline{N\cup M}=\overline{N}\cup\overline{M}$, for open subsets $N$ and $M$, above we actually have a directed union. On the other hand, we can have $\overline{p\vee r}\neq\overline{p}\vee\overline{r}$ for open projections $p$ and $r$, as in Example II.6 in Akemann's paper referred to by Nik, which also shows that the supremum above is not always directed. However, we might ask, $$\text{can the open projections above be replaced by a directed subset?}$$ In general I do not know. If $A$ is separable then the answer is yes, as then every open $p$ will be of the form $a_{(0,1]}$, for some $a\in A^1_+$, and $a_{(\epsilon,1]}$ is directed, for $\epsilon>0$. More generally, the answer is yes if $A$ has an "almost idempotent" approximate unit $(a_\lambda)\subseteq A^1_+$, i.e. such that $a_\lambda a_\gamma=a_\lambda$ whenever $\lambda\leq\gamma$. I do not even know of a C*-algebra that does not have such an approximate unit, but presumably they exist - perhaps Nik can help me out here?

Incidentally, note the relation $\overline{N}\subseteq O$ can be expressed purely in terms of open sets as $$\text{there exists open $M$ disjoint from $N$ such that }X=M\cup O.$$ Wondering if, for open projections $p,q\in A^{**}$, $\overline{p}\leq q$ can also be expressed similarly in terms of open projections just led me to post this question.

For complete regularity one replaces $\overline{N}\subseteq O$ with the statement that there exist open $(O_r)$ for $r\in[0,1]$ (or $[0,1]\cap\mathbb{Q}$) such that $N\subseteq O_0$, $O_1\subseteq O$ and $\overline{O}_s\subseteq O_t$ whenever $s<t$. Again, the analogous statement for complete regularity holds for open projections in C*-algebras although again it is not clear if the supremum can always be replaced with a directed supremum.

Nik's answer seems perfectly suited to what the OP was looking for, but there are indeed other generalizations of (complete) regularity to C-algebras, as shown in Rosický's "Multiplicative lattices and C*-algebras" Cahiers Top. Geom. Diff. Cat. tome 30 no 2 (1989), 95-110. To paraphrase part of that paper, note first that regularity can be stated in terms of open and closed sets, without reference to points. Specifically, a topological space $X$ is regular iff, for every open $O\subseteq X$, $$O=\bigcup\{N:N\text{ is open and }\overline{N}\subseteq O\}.$$ So a natural question to ask is whether, for any C-algebra $A$ and open projection $q\in A^{**}$, $$q=\bigvee\{p\in A^{**}:p\text{ is an open projection and }\overline{p}\leq q\}?$$ The answer is yes. To see this, take any $a\in A^1_+$ with $a\leq q$ and note that $\overline{a_{(\epsilon,1]}}\leq a_{[\epsilon,1]}\leq a_{(0,1]}\leq q$, for any $\epsilon>0$, where $a_S$ denotes the spectral projection of $a$ in $A^{**}$ corresponding to $S\subseteq\mathbb{R}$. The result now follows because $q$ being open means $$q=\bigvee\{a_{(0,1]}:a\in A^1_+\text{ and }a\leq q\}.\\\\$$

As $\overline{N\cup M}=\overline{N}\cup\overline{M}$, for open subsets $N$ and $M$, above we actually have a directed union. On the other hand, we can have $\overline{p\vee r}\neq\overline{p}\vee\overline{r}$ for open projections $p$ and $r$, as in Example II.6 in Akemann's paper referred to by Nik, which also shows that the supremum above is not always directed. However, we might ask, $$\text{can the open projections above be replaced by a directed subset?}$$ In general I do not know. If $A$ is separable then the answer is yes, as then every open $p$ will be of the form $a_{(0,1]}$, for some $a\in A^1_+$, and $a_{(\epsilon,1]}$ is directed, for $\epsilon>0$. More generally, the answer is yes if $A$ has an "almost idempotent" approximate unit $(a_\lambda)\subseteq A^1_+$, i.e. such that $a_\lambda a_\gamma=a_\lambda$ whenever $\lambda\leq\gamma$. Wondering if, in fact, all C*-algebras have such an approximate unit led me to post this question.

Regardless, in general we can still get a weaker iterated form of directedness. Specifically, note that $(a+b)_{(0,1]}=a_{(0,1]}\vee b_{(0,1]}$, for all $a,b\in A^1_+$, so every open projection $r$ is a directed supremum of open projections $q$, which are all themselves directed supremums of open projections $p$ with $\overline{p}\leq q$.

Also note the relation $\overline{N}\subseteq O$ can be expressed purely in terms of open sets as $$\text{there exists open $M$ disjoint from $N$ such that }X=M\cup O.$$ Wondering if, for open projections $p,q\in A^{**}$, $\overline{p}\leq q$ can also be expressed similarly in terms of open projections just led me to post this question. In fact, it is really relation 2. of that question, used with iterated directness as above, that Rosický considers as the appropriate notion of regularity for C*-algebras in the paper mentioned above.

For complete regularity one replaces $\overline{N}\subseteq O$ with the statement that there exist open $(O_r)$ for $r\in[0,1]$ (or $[0,1]\cap\mathbb{Q}$, as in Rosický's paper) such that $N\subseteq O_0$, $O_1\subseteq O$ and $\overline{O}_s\subseteq O_t$ whenever $s<t$. Again, the analogous statement for complete regularity holds for open projections in C*-algebras although again it is not clear if the supremum can always be replaced with a directed supremum.