Skip to content

Commit

Permalink
style: run formatter (again)
Browse files Browse the repository at this point in the history
  • Loading branch information
diogotcorreia committed Jul 7, 2024
1 parent 03526f0 commit 3d761ea
Showing 1 changed file with 20 additions and 1 deletion.
21 changes: 20 additions & 1 deletion content/al/0600-produto-interno-ortogonalidade.md
Original file line number Diff line number Diff line change
Expand Up @@ -22,6 +22,7 @@ Podemos por isso, generalizar muitas noções geométricas a qualquer
espaço linear, não só a $\R^n$ mas a qualquer espaço linear.

```toc
```

## Produto interno usual em $\R^n$
Expand Down Expand Up @@ -49,6 +50,7 @@ $$
\end{bmatrix}
= x^Ty
$$

:::

## Produto interno em $\C^n$
Expand Down Expand Up @@ -77,6 +79,7 @@ $$
\end{bmatrix}
= \bar{x}^Ty
$$

:::

**Nota:** Verifica-se que se a fórmula do produto interno usual for aplicada
Expand Down Expand Up @@ -106,21 +109,25 @@ Espaço linear munido de munido de produto interno
Num espaço euclidiano definem-se os seguintes conceitos:

:::info[Norma]

$$
\parallel x\parallel = \langle x,x \rang
$$

:::
:::info[Distância]

$$
\op{dist}(u,v) = \parallel u-v\parallel
$$

:::

### Matriz de Gram

:::info[Matriz de Gram]
Seja $W$ um espaço linear real (resp. complexo) munido de um produto interno
e $ B=(v_1,v_2,...,v_n)$ uma base ordenada de $W$.
e $B=(v_1,v_2,...,v_n)$ uma base ordenada de $W$.
A matriz $G={[\langle v_i,v_j\rang]}_{(i,j=1,...,n)}$ dos produtos internos
dos vetores da base $B$ é designada por _matriz de Gram_ ou _matriz da métrica_,
relativa a essa mesma base.
Expand Down Expand Up @@ -151,19 +158,23 @@ $$
Esta desigualdade permite diretamente chegar à noção de ângulo entre vetores.

:::info[Ângulo entre vetores]

$$
\large{\dfrac{ \langle u,v\rang }{\| u \| \|v \|}} =\cos \theta, \quad \theta \in [0, \pi]
$$

:::

## Ortogonalidade

Com todas as noções previamente discutidas, torna-se possível discutir ortogonalidade entre dois vetores.

:::info[Definição]

$$
u \perp v \Leftrightarrow \langle u,v\rang=0
$$

:::

Com a definição de ortogonalidade, pode-se concluir que o **Teorema de Pitágoras**
Expand All @@ -189,6 +200,7 @@ $$
1 &\text{se } i = j
\end{cases}
$$

:::

:::info[Proposição]
Expand All @@ -202,12 +214,15 @@ $u \isin W$ sobre o vetor não nulo $v \isin W$ é definida por
$$
\op{proj}_u v =\dfrac{ \langle u,v\rang }{\| u \|^2}
$$

:::

:::info[Desigualdade Triangular]

$$
\|u+v\|\le \|u\|+\|v\|
$$

:::

### Complemento ortogonal
Expand Down Expand Up @@ -238,6 +253,7 @@ Seja $S$ um subespaço e $S^\perp$ o seu complemento ortogonal. Verifica-se que:
$$
S \cap S^\perp=\{\empty\}
$$

:::

Tendo em conta que a interseção de um subespaço com o seu complemento ortogonal
Expand Down Expand Up @@ -273,12 +289,15 @@ Seja $W$ um espaço linear, $S$ um subespaço de $W$ e $x$ um vetor de $W$. A di
$$
dist(x,S)= \|\op{proj}_{S^\perp}x\|
$$

:::

:::info[Ortogonalidade dos subespaços fundamentais de uma Matriz]

$$
(EL(A))^\perp=N(A) \quad \text{e} \quad (EC(A))^\perp=N(A^T)
$$

:::

### Ortogonalização de Gram-Schmidt
Expand Down

0 comments on commit 3d761ea

Please sign in to comment.