0
$\begingroup$

Let $S$ be a finite subset of $R^n$. Let $\widehat{x}$ indicate the mean (non-zero) of the points in $S$. Is there an $S$ such that $\widehat{x}$ is orthogonal to all the points in $S$?

  • 0
    @joriki, yes the corresponding vectors.2012-11-10

2 Answers 2

2

Let $S \subseteq \mathbb R^n$. We denote by $U := \operatorname{span} S$ the linear hull of $S$. If $y \mathbin \bot S$, then by linearity of the scalar product, $y \mathbin \bot U$. No, if on one hand $\hat x = \frac 1{|S|}\sum_{x\in S} x \in U$, on the other $\hat x \mathbin\bot S$, we have $\hat x \mathbin \bot U$, so $\hat x \mathbin \bot \hat x$. That is $\hat x = 0$.

4

No, there isn't. If $\hat x$ is orthogonal to all vectors in $S$, then it's also orthogonal to itself, and thus zero.

  • 0
    @Tenali: Sure, whatever was more useful to you :-)2012-11-10