Skip to main content
added 412 characters in body
Source Link

The question is closely related to the notion of algebraic reflexivity. The (algebraic) reflexive closure of $W$ is the space of all operators $g \in End(V)$ such that $g(x) \in Wx$ for all $x \in V$. The author asks when the identity operator belongs to the reflexive closure of the operator space $W$.

I will consider $W$ as a matrix space to simplify things. By a lemma of Azoff (On Finite Rank Operators and Preannihilators), the reflexive closure of $W$ is the orthogonal of the span of the rank $1$ matrices in $W^\bot$ (the orthogonal of $W$ for the trace bilinear form $(A,B) \mapsto tr(AB)$). Thus, the identity is in the reflexive closure of $W$ if and only if it is orthogonal to all the rank $1$ matrices in $W^\bot$. Put differently, every vector of $V$ is fixed by at least one operator in $W$ if and only if all the rank $1$ operators in $W^\bot$ have trace zero.

Using this insight, one recovers the case of hyperplanes that was explained earlier by Harry Altman.

Now, if we add the condition that $W$ be stable under multiplication and that the underlying field $F$ be algebraically closed, then the identity belongs to the reflexive closure of $W$ if and only if it belongs to $W$! This combines ideas from other answers: if $W$ does not contain the identity, it contains only singular operators. One can use the Burnside theorem as it actually applies to every linear subspace that is stable under multiplication (provided that the space $V$ has dimension larger than $1$), not only to those which contain the identity. Using this repeatedly, one finds a basis of $V$ in which $W$ is represented by a space of block-upper-triangular matrices, where each diagonal block space is either a full matrix space $M_p(F)$ or $\{0\}$ (with the latter consisting of the zero $1 \times 1$ matrix). As the underlying field $F$ is infinite, one sees that at least one of those diagonal block spaces must be $\{0\}$ (otherwise, one shows that $W$ contains an invertible operator). With such a block space, the corresponding vector $x$ of $V$ is fixed by no operator in $W$.

With a similar method, but relying on Wedderburn's structure theorem for irreductible subalgebras instead of Burnside's theorem (which is just a special case of it), one can extend the above result to the more general situation where $W$ is stable under multiplication and the underlying field has cardinality greater than or equal to $\dim V$.

The question is closely related to the notion of algebraic reflexivity. The (algebraic) reflexive closure of $W$ is the space of all operators $g \in End(V)$ such that $g(x) \in Wx$ for all $x \in V$. The author asks when the identity operator belongs to the reflexive closure of the operator space $W$.

I will consider $W$ as a matrix space to simplify things. By a lemma of Azoff (On Finite Rank Operators and Preannihilators), the reflexive closure of $W$ is the orthogonal of the span of the rank $1$ matrices in $W^\bot$ (the orthogonal of $W$ for the trace bilinear form $(A,B) \mapsto tr(AB)$). Thus, the identity is in the reflexive closure of $W$ if and only if it is orthogonal to all the rank $1$ matrices in $W^\bot$. Put differently, every vector of $V$ is fixed by at least one operator in $W$ if and only if all the rank $1$ operators in $W^\bot$ have trace zero.

Using this insight, one recovers the case of hyperplanes that was explained earlier by Harry Altman.

Now, if we add the condition that $W$ be stable under multiplication and that the underlying field $F$ be algebraically closed, then the identity belongs to the reflexive closure of $W$ if and only if it belongs to $W$! This combines ideas from other answers: if $W$ does not contain the identity, it contains only singular operators. One can use the Burnside theorem as it actually applies to every linear subspace that is stable under multiplication, not only to those which contain the identity. Using this repeatedly, one finds a basis of $V$ in which $W$ is represented by a space of block-upper-triangular matrices, where each diagonal block space is either a full matrix space $M_p(F)$ or $\{0\}$ (with the latter consisting of the zero $1 \times 1$ matrix). As the underlying field $F$ is infinite, one sees that at least one of those diagonal block spaces must be $\{0\}$ (otherwise, one shows that $W$ contains an invertible operator). With such a block space, the corresponding vector $x$ of $V$ is fixed by no operator in $W$.

The question is closely related to the notion of algebraic reflexivity. The (algebraic) reflexive closure of $W$ is the space of all operators $g \in End(V)$ such that $g(x) \in Wx$ for all $x \in V$. The author asks when the identity operator belongs to the reflexive closure of the operator space $W$.

I will consider $W$ as a matrix space to simplify things. By a lemma of Azoff (On Finite Rank Operators and Preannihilators), the reflexive closure of $W$ is the orthogonal of the span of the rank $1$ matrices in $W^\bot$ (the orthogonal of $W$ for the trace bilinear form $(A,B) \mapsto tr(AB)$). Thus, the identity is in the reflexive closure of $W$ if and only if it is orthogonal to all the rank $1$ matrices in $W^\bot$. Put differently, every vector of $V$ is fixed by at least one operator in $W$ if and only if all the rank $1$ operators in $W^\bot$ have trace zero.

Using this insight, one recovers the case of hyperplanes that was explained earlier by Harry Altman.

Now, if we add the condition that $W$ be stable under multiplication and that the underlying field $F$ be algebraically closed, then the identity belongs to the reflexive closure of $W$ if and only if it belongs to $W$! This combines ideas from other answers: if $W$ does not contain the identity, it contains only singular operators. One can use the Burnside theorem as it actually applies to every linear subspace that is stable under multiplication (provided that the space $V$ has dimension larger than $1$), not only to those which contain the identity. Using this repeatedly, one finds a basis of $V$ in which $W$ is represented by a space of block-upper-triangular matrices, where each diagonal block space is either a full matrix space $M_p(F)$ or $\{0\}$ (with the latter consisting of the zero $1 \times 1$ matrix). As the underlying field $F$ is infinite, one sees that at least one of those diagonal block spaces must be $\{0\}$ (otherwise, one shows that $W$ contains an invertible operator). With such a block space, the corresponding vector $x$ of $V$ is fixed by no operator in $W$.

With a similar method, but relying on Wedderburn's structure theorem for irreductible subalgebras instead of Burnside's theorem (which is just a special case of it), one can extend the above result to the more general situation where $W$ is stable under multiplication and the underlying field has cardinality greater than or equal to $\dim V$.

added 1048 characters in body
Source Link

The question is closely related to the notion of algebraic reflexivity. The (algebraic) reflexive closure of $W$ is the space of all operators $g \in End(V)$ such that $g(x) \in Wx$ for all $x \in V$. The author asks when the identity operator belongs to the reflexive closure of the operator space $W$.

I will consider $W$ as a matrix space to simplify things. By a lemma of Azoff (On Finite Rank Operators and Preannihilators), the reflexive closure of $W$ is the orthogonal of the span of the rank $1$ matrices in $W^\bot$ (the orthogonal of $W$ for the trace bilinear form $(A,B) \mapsto tr(AB)$). Thus, the identity is in the reflexive closure of $W$ if and only if it is orthogonal to all the rank $1$ matrices in $W^\bot$. Put differently, every vector of $V$ is fixed by at least one operator in $W$ if and only if all the rank $1$ operators in $W^\bot$ have trace zero.

Using this insight, one recovers the case of hyperplanes that was explained earlier by Harry Altman.

Now, if we add the condition that $W$ be stable under multiplication and that the underlying field $F$ be algebraically closed, then the identity belongs to the reflexive closure of $W$ if and only if it belongs to $W$! This combines ideas from other answers: if $W$ does not contain the identity, it contains only singular operators. One can use the Burnside theorem as it actually applies to every linear subspace that is stable under multiplication, not only to those which contain the identity. Using this repeatedly, one finds a basis of $V$ in which $W$ is represented by a space of block-upper-triangular matrices, where each diagonal block space is either a full matrix space $M_p(F)$ or $\{0\}$ (with the latter consisting of the zero $1 \times 1$ matrix). As the underlying field $F$ is infinite, one sees that at least one of those diagonal block spaces must be $\{0\}$ (otherwise, one shows that $W$ contains an invertible operator). With such a block space, the corresponding vector $x$ of $V$ is fixed by no operator in $W$.

The question is closely related to the notion of algebraic reflexivity. The (algebraic) reflexive closure of $W$ is the space of all operators $g \in End(V)$ such that $g(x) \in Wx$ for all $x \in V$. The author asks when the identity operator belongs to the reflexive closure of the operator space $W$.

I will consider $W$ as a matrix space to simplify things. By a lemma of Azoff (On Finite Rank Operators and Preannihilators), the reflexive closure of $W$ is the orthogonal of the span of the rank $1$ matrices in $W^\bot$ (the orthogonal of $W$ for the trace bilinear form $(A,B) \mapsto tr(AB)$). Thus, the identity is in the reflexive closure of $W$ if and only if it is orthogonal to all the rank $1$ matrices in $W^\bot$. Put differently, every vector of $V$ is fixed by at least one operator in $W$ if and only if all the rank $1$ operators in $W^\bot$ have trace zero.

Using this insight, one recovers the case of hyperplanes that was explained earlier by Harry Altman.

The question is closely related to the notion of algebraic reflexivity. The (algebraic) reflexive closure of $W$ is the space of all operators $g \in End(V)$ such that $g(x) \in Wx$ for all $x \in V$. The author asks when the identity operator belongs to the reflexive closure of the operator space $W$.

I will consider $W$ as a matrix space to simplify things. By a lemma of Azoff (On Finite Rank Operators and Preannihilators), the reflexive closure of $W$ is the orthogonal of the span of the rank $1$ matrices in $W^\bot$ (the orthogonal of $W$ for the trace bilinear form $(A,B) \mapsto tr(AB)$). Thus, the identity is in the reflexive closure of $W$ if and only if it is orthogonal to all the rank $1$ matrices in $W^\bot$. Put differently, every vector of $V$ is fixed by at least one operator in $W$ if and only if all the rank $1$ operators in $W^\bot$ have trace zero.

Using this insight, one recovers the case of hyperplanes that was explained earlier by Harry Altman.

Now, if we add the condition that $W$ be stable under multiplication and that the underlying field $F$ be algebraically closed, then the identity belongs to the reflexive closure of $W$ if and only if it belongs to $W$! This combines ideas from other answers: if $W$ does not contain the identity, it contains only singular operators. One can use the Burnside theorem as it actually applies to every linear subspace that is stable under multiplication, not only to those which contain the identity. Using this repeatedly, one finds a basis of $V$ in which $W$ is represented by a space of block-upper-triangular matrices, where each diagonal block space is either a full matrix space $M_p(F)$ or $\{0\}$ (with the latter consisting of the zero $1 \times 1$ matrix). As the underlying field $F$ is infinite, one sees that at least one of those diagonal block spaces must be $\{0\}$ (otherwise, one shows that $W$ contains an invertible operator). With such a block space, the corresponding vector $x$ of $V$ is fixed by no operator in $W$.

Source Link

The question is closely related to the notion of algebraic reflexivity. The (algebraic) reflexive closure of $W$ is the space of all operators $g \in End(V)$ such that $g(x) \in Wx$ for all $x \in V$. The author asks when the identity operator belongs to the reflexive closure of the operator space $W$.

I will consider $W$ as a matrix space to simplify things. By a lemma of Azoff (On Finite Rank Operators and Preannihilators), the reflexive closure of $W$ is the orthogonal of the span of the rank $1$ matrices in $W^\bot$ (the orthogonal of $W$ for the trace bilinear form $(A,B) \mapsto tr(AB)$). Thus, the identity is in the reflexive closure of $W$ if and only if it is orthogonal to all the rank $1$ matrices in $W^\bot$. Put differently, every vector of $V$ is fixed by at least one operator in $W$ if and only if all the rank $1$ operators in $W^\bot$ have trace zero.

Using this insight, one recovers the case of hyperplanes that was explained earlier by Harry Altman.