Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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.

share|improve this question
    
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. –  Alex R. Mar 1 '11 at 23:09
    
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. –  Zen Harper Mar 2 '11 at 1:15
    
...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. –  Zen Harper Mar 2 '11 at 1:18
    
@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. –  Zen Harper Mar 2 '11 at 1:20
1  
@Isaak: the question became trivial after revision. –  Mark Sapir Mar 2 '11 at 2:07
show 5 more comments

2 Answers

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}$).

share|improve this answer
add comment

$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$.

share|improve this answer
    
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$. –  Isaac Solomon Mar 2 '11 at 2:27
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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