1: \begin{definition}\label{def: soporte}

2: Given two orthogonal subspaces $V$ and $W\subset \C^n$ we call the pair $(V,W)$ a {\bf support} if there exist non trivial subsets $\{v^1,v^2,\dotsc,v^p\}$ of $V$ and $\{w^1,w^2,\dotsc,w^q\}$ of $W$ with coordinates in the canonical basis given by $v^i=(v^i_1,v^i_2,\dotsc,v^i_n)$, for $i=1,\dotsc,p$ and $w^j=(w^j_1,w^j_2,\dotsc,w^j_n)$, for $j=1,\dotsc,q$ such that 

3: \begin{equation}

4: \label{eq: condicion soporte} 

5: \left\{

6: \begin{array}{ccc}

7: |v_1^1|^2+|v_1^2|^2+\dotsb+|v_1^p|^2&=&|w_1^1|^2+|w_1^2|^2+\dotsb+|w_1^q|^2\\

8: |v_2^1|^2+|v_2^2|^2+\dotsb+|v_2^p|^2&=&|w_2^1|^2+|w_2^2|^2+\dotsb+|w_2^q|^2\\

9: \vdots&\vdots&\vdots\\

10: |v_n^1|^2+|v_n^2|^2+\dotsb+|v_n^p|^2&=&|w_n^1|^2+|w_n^2|^2+\dotsb+|w_n^q|^2

11: \end{array}

12: \right.

13: \end{equation}

14: or equivalently $\sum_{i=1}^p v^i\circ\  \overline{v^i}=\sum_{j=1}^q w^j\circ\ 

15: \overline{w^j}$, where $\circ$ denotes the Hadamard product and $\overline{x}$ 

16: the vector formed by the conjugated coordinates of $x$.

17: 

18: This definition can also be stated choosing orthogonal vectors $\{v^i\}_{i=1}^t$ and  $\{w^j\}_{j=1}^h$ (see Theorem \ref{teo: en def. soporte se puede tomar l.i. y ortog.}).

19: 

20: \end{definition}

21: