4
$\begingroup$

Let $X$ be a finite-dimensional inner product space, and $T$ a linear operator on $X$. Let $W$ be a subset of $X$ with the following property:

If $T$ preserves norms on $W$, then $T$ is orthogonal on $X$.

One might say that the set $W$ 'detects' orthogonality.

My question is: what is the smallest number of elements that $W$ may contain (as a function of dim$(X) = n$) ?

Quite simply, we can observe that $n + {n \choose 2}$ would form an upper bound for the minimal cardinality of $W$. However, I cannot think of a way to proof whether or not this upper bound is also a lower bound.

$\endgroup$
10
  • $\begingroup$ Wouldnt the lower bound be n? After all if W has less than n vectors, there's gotta be something in X, say u, that's not in the span of W and I can make T do whatever I want on u. $\endgroup$
    – Alex R.
    Mar 1, 2011 at 23:09
  • $\begingroup$ Sorry, I don't understand: you say "the set W 'detects' orthogonality." It looks to me that W is detecting isometric linear operators; I don't see how it's related to orthogonality. $\endgroup$
    – Zen Harper
    Mar 2, 2011 at 1:15
  • $\begingroup$ ...also, X doesn't have any kind of scalar product in general; it is only a Banach space, not a Hilbert space. Of course you could renorm it to be a Hilbert space, but then W wouldn't work any more. $\endgroup$
    – Zen Harper
    Mar 2, 2011 at 1:18
  • $\begingroup$ @Alex R.: certainly W must have at least n vectors, by your argument; but this doesn't rule out the possibility that W always has more than n vectors. $\endgroup$
    – Zen Harper
    Mar 2, 2011 at 1:20
  • 1
    $\begingroup$ @Isaak: the question became trivial after revision. $\endgroup$
    – user6976
    Mar 2, 2011 at 2:07

2 Answers 2

1
$\begingroup$

I think the bound in that case is indeed $\frac{n(n+1)}{2}$. As you state, it is possible to construct a set $W$ of this size (take the n vectors of an orthonormal basis, then take the $\frac{n(n-1)}{2}$ sums of two of them).

Conversely, I think this can be shown to be minimal by counting dimensions (in the setting of differential geometry). Roughly speaking assume that $W$ "detects orthogonality", and denote $|W|$ for the cardinality of $W$. Then let $f(T) = (|T(w)|^2 - |w|^2)_{w \in W}$ for any operator $T$. The assumption on $W$ means that $f(T) = 0$ if and only if $T$ is orthogonal. In other words, $O(X) = f^{-1}(\{0\})$, whose dimension (as a manifold) is bigger than $n^2 - |W|$. Thus $|W| \ge \frac{n(n+1)}{2}$ (since the dimension of $O(X)$ is exactly $\frac{n(n-1)}{2}$).

$\endgroup$
0
$\begingroup$

$W$ detects orthogonality iff it spans. Indeed, $T$ preserves inner products on $W$ iff we have $\langle Ta,Tb\rangle=\langle a,b\rangle$ for all $a,b\in W$, and this is equivalent to $\langle a,(T^*T-I)b\rangle=0$. If we fix $u$ then $\{v:\langle u,(T^*T-I)v\rangle=0\}$ is certainly a vector subspace. Similarly, if we fix $v$ then $\{u:\langle u,(T^*T-I)v\rangle=0\}$ is a vector subspace. Using this, we see that if $W$ spans, then $\langle u,(T^*T-I)v\rangle=0$ for all $u,v\in X$, so $\langle Tu,Tv\rangle=\langle u,v\rangle$, so $T$ is orthogonal. The converse is Alex R.'s comment. It follows that the minimum cardinality is $n$.

$\endgroup$
1
  • $\begingroup$ I apologize, but my question was not worded correctly. What I meant to ask was the minimal cardinality for $W$ if $T$ preserving norms on $W$ implied $T$ was orthogonal on $X$. $\endgroup$ Mar 2, 2011 at 2:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.