Weakly dense C*-algebra in a commutative von Neumann algebra and order convergence
$begingroup$
Let $H$ be a Hilbert space and $mathscr{A}$ a commutative norm-closed unital $*$-subalgebra of $mathcal{B}(H)$. Let $mathscr{M}$ be the weak operator closure of $mathscr{A}$.
Question: For given a projection $Pinmathscr{M}$, is the following true? $$P=infleft{Ainmathscr{A}:Pleq Aleq 1right}$$
It seems that the infimum must exist and is a projection, but I am not able to show that the resulting projection cannot be strictly bigger than $P$. Also, if the above is true, what happens if $mathscr{A}$ is non-commutative?
operator-theory c-star-algebras von-neumann-algebras
$endgroup$
add a comment |
$begingroup$
Let $H$ be a Hilbert space and $mathscr{A}$ a commutative norm-closed unital $*$-subalgebra of $mathcal{B}(H)$. Let $mathscr{M}$ be the weak operator closure of $mathscr{A}$.
Question: For given a projection $Pinmathscr{M}$, is the following true? $$P=infleft{Ainmathscr{A}:Pleq Aleq 1right}$$
It seems that the infimum must exist and is a projection, but I am not able to show that the resulting projection cannot be strictly bigger than $P$. Also, if the above is true, what happens if $mathscr{A}$ is non-commutative?
operator-theory c-star-algebras von-neumann-algebras
$endgroup$
$begingroup$
By $P=inf U$ do you mean $Pleq A$ for all $Ain U$ and if $Qleq A$ for all $Ain U$ then $Qleq P$?
$endgroup$
– SmileyCraft
Jan 4 at 5:57
$begingroup$
@SmileyCraft Yes, and if we assume $U$ is norm-bounded, then $inf U$ is the same as $lim U$ when we regard $U$ as a decreasing net, in the weak operator topology.
$endgroup$
– Junekey Jeon
Jan 4 at 6:02
add a comment |
$begingroup$
Let $H$ be a Hilbert space and $mathscr{A}$ a commutative norm-closed unital $*$-subalgebra of $mathcal{B}(H)$. Let $mathscr{M}$ be the weak operator closure of $mathscr{A}$.
Question: For given a projection $Pinmathscr{M}$, is the following true? $$P=infleft{Ainmathscr{A}:Pleq Aleq 1right}$$
It seems that the infimum must exist and is a projection, but I am not able to show that the resulting projection cannot be strictly bigger than $P$. Also, if the above is true, what happens if $mathscr{A}$ is non-commutative?
operator-theory c-star-algebras von-neumann-algebras
$endgroup$
Let $H$ be a Hilbert space and $mathscr{A}$ a commutative norm-closed unital $*$-subalgebra of $mathcal{B}(H)$. Let $mathscr{M}$ be the weak operator closure of $mathscr{A}$.
Question: For given a projection $Pinmathscr{M}$, is the following true? $$P=infleft{Ainmathscr{A}:Pleq Aleq 1right}$$
It seems that the infimum must exist and is a projection, but I am not able to show that the resulting projection cannot be strictly bigger than $P$. Also, if the above is true, what happens if $mathscr{A}$ is non-commutative?
operator-theory c-star-algebras von-neumann-algebras
operator-theory c-star-algebras von-neumann-algebras
edited Jan 4 at 8:31
Junekey Jeon
asked Jan 4 at 5:34
Junekey JeonJunekey Jeon
25118
25118
$begingroup$
By $P=inf U$ do you mean $Pleq A$ for all $Ain U$ and if $Qleq A$ for all $Ain U$ then $Qleq P$?
$endgroup$
– SmileyCraft
Jan 4 at 5:57
$begingroup$
@SmileyCraft Yes, and if we assume $U$ is norm-bounded, then $inf U$ is the same as $lim U$ when we regard $U$ as a decreasing net, in the weak operator topology.
$endgroup$
– Junekey Jeon
Jan 4 at 6:02
add a comment |
$begingroup$
By $P=inf U$ do you mean $Pleq A$ for all $Ain U$ and if $Qleq A$ for all $Ain U$ then $Qleq P$?
$endgroup$
– SmileyCraft
Jan 4 at 5:57
$begingroup$
@SmileyCraft Yes, and if we assume $U$ is norm-bounded, then $inf U$ is the same as $lim U$ when we regard $U$ as a decreasing net, in the weak operator topology.
$endgroup$
– Junekey Jeon
Jan 4 at 6:02
$begingroup$
By $P=inf U$ do you mean $Pleq A$ for all $Ain U$ and if $Qleq A$ for all $Ain U$ then $Qleq P$?
$endgroup$
– SmileyCraft
Jan 4 at 5:57
$begingroup$
By $P=inf U$ do you mean $Pleq A$ for all $Ain U$ and if $Qleq A$ for all $Ain U$ then $Qleq P$?
$endgroup$
– SmileyCraft
Jan 4 at 5:57
$begingroup$
@SmileyCraft Yes, and if we assume $U$ is norm-bounded, then $inf U$ is the same as $lim U$ when we regard $U$ as a decreasing net, in the weak operator topology.
$endgroup$
– Junekey Jeon
Jan 4 at 6:02
$begingroup$
@SmileyCraft Yes, and if we assume $U$ is norm-bounded, then $inf U$ is the same as $lim U$ when we regard $U$ as a decreasing net, in the weak operator topology.
$endgroup$
– Junekey Jeon
Jan 4 at 6:02
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I think I found a counterexample.
Take $mathscr{M}=L^{infty}[0,1]$ and $mathscr{A}=C[0,1]$.
Let $mathbb{Q}cap[0,1]=left{r_{n}right}_{n=1}^{infty}$ be an enumeration of rationals in $[0,1]$, and define $$E:=bigcup_{n=1}^{infty}left(r_{n}-frac{epsilon}{2^{n}},r_{n}+frac{epsilon}{2^{n}}right)cap[0,1]$$ for some small $epsilon>0$ so that $m(E)$ is strictly less than $1$. Clearly, the only continuous function $f:[0,1]rightarrow[0,1]$ satisfying $mathbb{1}_{E}leq fleq 1$ is $fequiv1$, but the projection $mathbb{1}_{E}$ is not equal to $1$.
$endgroup$
$begingroup$
Yes, that gives you a counterexample. You might struggle a bit if you want to make it concrete, it's not obvious to me how to choose $epsilon$, and the order of the enumeration probably makes a difference. It might be easier working with a the complement of a fat cantor set.
$endgroup$
– Martin Argerami
Jan 4 at 17:21
$begingroup$
Maybe I overlook something, but the only projections in $mathscr A$ are $0$ and $1$. If you take $P = chi_{[0,1/2]}$, then $P$ is not the infimum of as described in the question, since the infimum is $1$.
$endgroup$
– user42761
Jan 4 at 18:33
$begingroup$
@AndréS. If $P$ is the indicator of $[0,1/2]$, then the set described in the question is the set of all continuous functions $f:[0,1]rightarrow[0,1]$ such that $f(x)=1$ for all $xin[0,1/2]$. So in this case, $P$ is indeed the infimum of that set. The fact that there is no nontrivial projections in $mathscr{A}$ does not matter here.
$endgroup$
– Junekey Jeon
Jan 5 at 10:24
$begingroup$
Ah okay, I had projections in $mathscr A$ in mind. So is the pointwise infimum of those continuous functions that majorize the indicator, call it $P$, then the infimum in the sense of operators on $L^2([0,1])$ ?
$endgroup$
– user42761
Jan 5 at 12:45
$begingroup$
@AndréS. Yes, and the pointwise infimum as functions on $[0,1]$ is equal to the infimum in the sense of operators in this case, because the pointwise infimum can be obtained by a countable sequence of approximations.
$endgroup$
– Junekey Jeon
Jan 5 at 14:47
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3061343%2fweakly-dense-c-algebra-in-a-commutative-von-neumann-algebra-and-order-convergen%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I think I found a counterexample.
Take $mathscr{M}=L^{infty}[0,1]$ and $mathscr{A}=C[0,1]$.
Let $mathbb{Q}cap[0,1]=left{r_{n}right}_{n=1}^{infty}$ be an enumeration of rationals in $[0,1]$, and define $$E:=bigcup_{n=1}^{infty}left(r_{n}-frac{epsilon}{2^{n}},r_{n}+frac{epsilon}{2^{n}}right)cap[0,1]$$ for some small $epsilon>0$ so that $m(E)$ is strictly less than $1$. Clearly, the only continuous function $f:[0,1]rightarrow[0,1]$ satisfying $mathbb{1}_{E}leq fleq 1$ is $fequiv1$, but the projection $mathbb{1}_{E}$ is not equal to $1$.
$endgroup$
$begingroup$
Yes, that gives you a counterexample. You might struggle a bit if you want to make it concrete, it's not obvious to me how to choose $epsilon$, and the order of the enumeration probably makes a difference. It might be easier working with a the complement of a fat cantor set.
$endgroup$
– Martin Argerami
Jan 4 at 17:21
$begingroup$
Maybe I overlook something, but the only projections in $mathscr A$ are $0$ and $1$. If you take $P = chi_{[0,1/2]}$, then $P$ is not the infimum of as described in the question, since the infimum is $1$.
$endgroup$
– user42761
Jan 4 at 18:33
$begingroup$
@AndréS. If $P$ is the indicator of $[0,1/2]$, then the set described in the question is the set of all continuous functions $f:[0,1]rightarrow[0,1]$ such that $f(x)=1$ for all $xin[0,1/2]$. So in this case, $P$ is indeed the infimum of that set. The fact that there is no nontrivial projections in $mathscr{A}$ does not matter here.
$endgroup$
– Junekey Jeon
Jan 5 at 10:24
$begingroup$
Ah okay, I had projections in $mathscr A$ in mind. So is the pointwise infimum of those continuous functions that majorize the indicator, call it $P$, then the infimum in the sense of operators on $L^2([0,1])$ ?
$endgroup$
– user42761
Jan 5 at 12:45
$begingroup$
@AndréS. Yes, and the pointwise infimum as functions on $[0,1]$ is equal to the infimum in the sense of operators in this case, because the pointwise infimum can be obtained by a countable sequence of approximations.
$endgroup$
– Junekey Jeon
Jan 5 at 14:47
add a comment |
$begingroup$
I think I found a counterexample.
Take $mathscr{M}=L^{infty}[0,1]$ and $mathscr{A}=C[0,1]$.
Let $mathbb{Q}cap[0,1]=left{r_{n}right}_{n=1}^{infty}$ be an enumeration of rationals in $[0,1]$, and define $$E:=bigcup_{n=1}^{infty}left(r_{n}-frac{epsilon}{2^{n}},r_{n}+frac{epsilon}{2^{n}}right)cap[0,1]$$ for some small $epsilon>0$ so that $m(E)$ is strictly less than $1$. Clearly, the only continuous function $f:[0,1]rightarrow[0,1]$ satisfying $mathbb{1}_{E}leq fleq 1$ is $fequiv1$, but the projection $mathbb{1}_{E}$ is not equal to $1$.
$endgroup$
$begingroup$
Yes, that gives you a counterexample. You might struggle a bit if you want to make it concrete, it's not obvious to me how to choose $epsilon$, and the order of the enumeration probably makes a difference. It might be easier working with a the complement of a fat cantor set.
$endgroup$
– Martin Argerami
Jan 4 at 17:21
$begingroup$
Maybe I overlook something, but the only projections in $mathscr A$ are $0$ and $1$. If you take $P = chi_{[0,1/2]}$, then $P$ is not the infimum of as described in the question, since the infimum is $1$.
$endgroup$
– user42761
Jan 4 at 18:33
$begingroup$
@AndréS. If $P$ is the indicator of $[0,1/2]$, then the set described in the question is the set of all continuous functions $f:[0,1]rightarrow[0,1]$ such that $f(x)=1$ for all $xin[0,1/2]$. So in this case, $P$ is indeed the infimum of that set. The fact that there is no nontrivial projections in $mathscr{A}$ does not matter here.
$endgroup$
– Junekey Jeon
Jan 5 at 10:24
$begingroup$
Ah okay, I had projections in $mathscr A$ in mind. So is the pointwise infimum of those continuous functions that majorize the indicator, call it $P$, then the infimum in the sense of operators on $L^2([0,1])$ ?
$endgroup$
– user42761
Jan 5 at 12:45
$begingroup$
@AndréS. Yes, and the pointwise infimum as functions on $[0,1]$ is equal to the infimum in the sense of operators in this case, because the pointwise infimum can be obtained by a countable sequence of approximations.
$endgroup$
– Junekey Jeon
Jan 5 at 14:47
add a comment |
$begingroup$
I think I found a counterexample.
Take $mathscr{M}=L^{infty}[0,1]$ and $mathscr{A}=C[0,1]$.
Let $mathbb{Q}cap[0,1]=left{r_{n}right}_{n=1}^{infty}$ be an enumeration of rationals in $[0,1]$, and define $$E:=bigcup_{n=1}^{infty}left(r_{n}-frac{epsilon}{2^{n}},r_{n}+frac{epsilon}{2^{n}}right)cap[0,1]$$ for some small $epsilon>0$ so that $m(E)$ is strictly less than $1$. Clearly, the only continuous function $f:[0,1]rightarrow[0,1]$ satisfying $mathbb{1}_{E}leq fleq 1$ is $fequiv1$, but the projection $mathbb{1}_{E}$ is not equal to $1$.
$endgroup$
I think I found a counterexample.
Take $mathscr{M}=L^{infty}[0,1]$ and $mathscr{A}=C[0,1]$.
Let $mathbb{Q}cap[0,1]=left{r_{n}right}_{n=1}^{infty}$ be an enumeration of rationals in $[0,1]$, and define $$E:=bigcup_{n=1}^{infty}left(r_{n}-frac{epsilon}{2^{n}},r_{n}+frac{epsilon}{2^{n}}right)cap[0,1]$$ for some small $epsilon>0$ so that $m(E)$ is strictly less than $1$. Clearly, the only continuous function $f:[0,1]rightarrow[0,1]$ satisfying $mathbb{1}_{E}leq fleq 1$ is $fequiv1$, but the projection $mathbb{1}_{E}$ is not equal to $1$.
answered Jan 4 at 14:48
Junekey JeonJunekey Jeon
25118
25118
$begingroup$
Yes, that gives you a counterexample. You might struggle a bit if you want to make it concrete, it's not obvious to me how to choose $epsilon$, and the order of the enumeration probably makes a difference. It might be easier working with a the complement of a fat cantor set.
$endgroup$
– Martin Argerami
Jan 4 at 17:21
$begingroup$
Maybe I overlook something, but the only projections in $mathscr A$ are $0$ and $1$. If you take $P = chi_{[0,1/2]}$, then $P$ is not the infimum of as described in the question, since the infimum is $1$.
$endgroup$
– user42761
Jan 4 at 18:33
$begingroup$
@AndréS. If $P$ is the indicator of $[0,1/2]$, then the set described in the question is the set of all continuous functions $f:[0,1]rightarrow[0,1]$ such that $f(x)=1$ for all $xin[0,1/2]$. So in this case, $P$ is indeed the infimum of that set. The fact that there is no nontrivial projections in $mathscr{A}$ does not matter here.
$endgroup$
– Junekey Jeon
Jan 5 at 10:24
$begingroup$
Ah okay, I had projections in $mathscr A$ in mind. So is the pointwise infimum of those continuous functions that majorize the indicator, call it $P$, then the infimum in the sense of operators on $L^2([0,1])$ ?
$endgroup$
– user42761
Jan 5 at 12:45
$begingroup$
@AndréS. Yes, and the pointwise infimum as functions on $[0,1]$ is equal to the infimum in the sense of operators in this case, because the pointwise infimum can be obtained by a countable sequence of approximations.
$endgroup$
– Junekey Jeon
Jan 5 at 14:47
add a comment |
$begingroup$
Yes, that gives you a counterexample. You might struggle a bit if you want to make it concrete, it's not obvious to me how to choose $epsilon$, and the order of the enumeration probably makes a difference. It might be easier working with a the complement of a fat cantor set.
$endgroup$
– Martin Argerami
Jan 4 at 17:21
$begingroup$
Maybe I overlook something, but the only projections in $mathscr A$ are $0$ and $1$. If you take $P = chi_{[0,1/2]}$, then $P$ is not the infimum of as described in the question, since the infimum is $1$.
$endgroup$
– user42761
Jan 4 at 18:33
$begingroup$
@AndréS. If $P$ is the indicator of $[0,1/2]$, then the set described in the question is the set of all continuous functions $f:[0,1]rightarrow[0,1]$ such that $f(x)=1$ for all $xin[0,1/2]$. So in this case, $P$ is indeed the infimum of that set. The fact that there is no nontrivial projections in $mathscr{A}$ does not matter here.
$endgroup$
– Junekey Jeon
Jan 5 at 10:24
$begingroup$
Ah okay, I had projections in $mathscr A$ in mind. So is the pointwise infimum of those continuous functions that majorize the indicator, call it $P$, then the infimum in the sense of operators on $L^2([0,1])$ ?
$endgroup$
– user42761
Jan 5 at 12:45
$begingroup$
@AndréS. Yes, and the pointwise infimum as functions on $[0,1]$ is equal to the infimum in the sense of operators in this case, because the pointwise infimum can be obtained by a countable sequence of approximations.
$endgroup$
– Junekey Jeon
Jan 5 at 14:47
$begingroup$
Yes, that gives you a counterexample. You might struggle a bit if you want to make it concrete, it's not obvious to me how to choose $epsilon$, and the order of the enumeration probably makes a difference. It might be easier working with a the complement of a fat cantor set.
$endgroup$
– Martin Argerami
Jan 4 at 17:21
$begingroup$
Yes, that gives you a counterexample. You might struggle a bit if you want to make it concrete, it's not obvious to me how to choose $epsilon$, and the order of the enumeration probably makes a difference. It might be easier working with a the complement of a fat cantor set.
$endgroup$
– Martin Argerami
Jan 4 at 17:21
$begingroup$
Maybe I overlook something, but the only projections in $mathscr A$ are $0$ and $1$. If you take $P = chi_{[0,1/2]}$, then $P$ is not the infimum of as described in the question, since the infimum is $1$.
$endgroup$
– user42761
Jan 4 at 18:33
$begingroup$
Maybe I overlook something, but the only projections in $mathscr A$ are $0$ and $1$. If you take $P = chi_{[0,1/2]}$, then $P$ is not the infimum of as described in the question, since the infimum is $1$.
$endgroup$
– user42761
Jan 4 at 18:33
$begingroup$
@AndréS. If $P$ is the indicator of $[0,1/2]$, then the set described in the question is the set of all continuous functions $f:[0,1]rightarrow[0,1]$ such that $f(x)=1$ for all $xin[0,1/2]$. So in this case, $P$ is indeed the infimum of that set. The fact that there is no nontrivial projections in $mathscr{A}$ does not matter here.
$endgroup$
– Junekey Jeon
Jan 5 at 10:24
$begingroup$
@AndréS. If $P$ is the indicator of $[0,1/2]$, then the set described in the question is the set of all continuous functions $f:[0,1]rightarrow[0,1]$ such that $f(x)=1$ for all $xin[0,1/2]$. So in this case, $P$ is indeed the infimum of that set. The fact that there is no nontrivial projections in $mathscr{A}$ does not matter here.
$endgroup$
– Junekey Jeon
Jan 5 at 10:24
$begingroup$
Ah okay, I had projections in $mathscr A$ in mind. So is the pointwise infimum of those continuous functions that majorize the indicator, call it $P$, then the infimum in the sense of operators on $L^2([0,1])$ ?
$endgroup$
– user42761
Jan 5 at 12:45
$begingroup$
Ah okay, I had projections in $mathscr A$ in mind. So is the pointwise infimum of those continuous functions that majorize the indicator, call it $P$, then the infimum in the sense of operators on $L^2([0,1])$ ?
$endgroup$
– user42761
Jan 5 at 12:45
$begingroup$
@AndréS. Yes, and the pointwise infimum as functions on $[0,1]$ is equal to the infimum in the sense of operators in this case, because the pointwise infimum can be obtained by a countable sequence of approximations.
$endgroup$
– Junekey Jeon
Jan 5 at 14:47
$begingroup$
@AndréS. Yes, and the pointwise infimum as functions on $[0,1]$ is equal to the infimum in the sense of operators in this case, because the pointwise infimum can be obtained by a countable sequence of approximations.
$endgroup$
– Junekey Jeon
Jan 5 at 14:47
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3061343%2fweakly-dense-c-algebra-in-a-commutative-von-neumann-algebra-and-order-convergen%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
By $P=inf U$ do you mean $Pleq A$ for all $Ain U$ and if $Qleq A$ for all $Ain U$ then $Qleq P$?
$endgroup$
– SmileyCraft
Jan 4 at 5:57
$begingroup$
@SmileyCraft Yes, and if we assume $U$ is norm-bounded, then $inf U$ is the same as $lim U$ when we regard $U$ as a decreasing net, in the weak operator topology.
$endgroup$
– Junekey Jeon
Jan 4 at 6:02