Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[AL] Produto Interno e Ortogonalidade from scratch #1004

Open
wants to merge 9 commits into
base: master
Choose a base branch
from

Conversation

Kidplayer666
Copy link

No description provided.

@github-actions github-actions bot added the al Álgebra Linear label Mar 5, 2024
Copy link
Member

@diogotcorreia diogotcorreia left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot for your contribution, I appreciate the effort!

I've left a few comments with things that should be changed (most of them are pretty simple), and they're mainly about the format and not the content. I've left some links to documentation where appropriate, should you want to read more about it.

About the content, I confess that my days of linear algebra are long gone, so I will assume all/most of it is correct.

About the numbering of the page (0006), does this some right after "Bases de um Espaço Vetorial" (0005), or is there some content in between that is still missing from Resumos LEIC?

NOTE: Not sure if this is your first time contributing to another project, but you can do the requested changes by adding more commits to the maisalgebra branch in your repository.
All of it will be squashed (i.e., put together in a single commit) once ready.

@@ -0,0 +1,254 @@
---
title: Produto interno e ortogonalidade
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
title: Produto interno e ortogonalidade
title: Produto Interno e Ortogonalidade

Keep the casing consistent with the other pages

type: content
---

# Produto interno e ortogonalidade
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
# Produto interno e ortogonalidade
# Produto Interno e Ortogonalidade


# Produto interno e ortogonalidade

(baseado no material disponibilizado pela professora Esmeralda Dias)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we can take this out; most content here is based on teacher's resources.
It is important that it is not just copy paste due to copyright reasons, but it is generally fine otherwise.

If you want to keep the attribution, place it at the bottom of the page under a "Referências" header, like in Sistemas Distribuídos.

(baseado no material disponibilizado pela professora Esmeralda Dias)

Apesar da introdução a álgebra linear ter sido realizada até agora através de sistemas lineares, existe uma diversidade enorme de aplicações geométricas desta área.
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.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
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.
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.

You seem to be mismatching inline and block KaTeX math tags. Single $ is used for inline math, while $$ (followed by a new line) is used for math blocks.
You can read more about this in the contribution documentation.

You should change the other occurrences in the rest of the page.

O produto interno usual em $$ \R^n$$ pode ser definido simplesmente por

:::info[Definição]
Sejam x, y vetores de $$ \R^n$$
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
Sejam x, y vetores de $$ \R^n$$
Sejam $x$, $y$ vetores de $\R^n$


$dim W= dim U+ dim V$

Pode-se expandir esta noção, criando a noção de
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
Pode-se expandir esta noção, criando a noção de
Pode-se expandir esta noção, criando a noção de **complemento ortogonal**.

Pode-se expandir esta noção, criando a noção de

:::info[Complemento Ortogonal]
Seja $W$ um espaço linear munido de um produto intero e $S$ um subespaço de $W$
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
Seja $W$ um espaço linear munido de um produto intero e $S$ um subespaço de $W$
Seja $W$ um espaço linear munido de um produto inteiro e $S$ um subespaço de $W$

Typo?


:::info[Complemento Ortogonal]
Seja $W$ um espaço linear munido de um produto intero e $S$ um subespaço de $W$
O _complemento ortogonal_ de $S$ é o conjunto de todos os vetores de $W$ que são ortogonais a qualquer vetor de S. Designamos o complemento ortogonal do subespaço $S$ por $S^\perp$.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
O _complemento ortogonal_ de $S$ é o conjunto de todos os vetores de $W$ que são ortogonais a qualquer vetor de S. Designamos o complemento ortogonal do subespaço $S$ por $S^\perp$.
O _complemento ortogonal_ de $S$ é o conjunto de todos os vetores de $W$ que são ortogonais a qualquer vetor de $S$. Designamos o complemento ortogonal do subespaço $S$ por $S^\perp$.

:::info[Teorema da melhor aproximação]
Sendo $W$ um espaço euclidiano e $S$ um subespaço de $W$ e $v$ um vetor de $W$, então

$\| x-proj_Sx\|\le \|x-u\|$ para qualquer $u \in S$
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
$\| x-proj_Sx\|\le \|x-u\|$ para qualquer $u \in S$
$$
\| x-\op{proj}_Sx\|\le \|x-u\|
$$
para qualquer $u \in S$

Comment on lines 243 to 249
$u_1=v_1$

$u_2=v_2-\frac{\langle u_1,v_2\rang}{\|u_1\|^2}$

$...$

$u_k=v_k-proj_{u_1}v_k-proj_{u_2}v_k-...-proj_{u_{k-1}}v_k$
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perhaps use \begin{array} or \being{aligned} here? I think the latter is more appropriate.

Suggested change
$u_1=v_1$
$u_2=v_2-\frac{\langle u_1,v_2\rang}{\|u_1\|^2}$
$...$
$u_k=v_k-proj_{u_1}v_k-proj_{u_2}v_k-...-proj_{u_{k-1}}v_k$
$$
\begin{aligned}
u_1 &= v_1 \\
u_2 &= v_2-\frac{\langle u_1,v_2\rang}{\|u_1\|^2} \\
&= \dots \\
u_k &= v_k-\op{proj}_{u_1}v_k-\op{proj}_{u_2}v_k-\dots-\op{proj}_{u_{k-1}}v_k
\end{aligned}
$$

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Peço desculpa pela demora, só me consegui organizar agora para fazer as correções. Já deverá estar tudo. Sim, é de facto a minha primeira contribuição para um repositório externo.

@Kidplayer666
Copy link
Author

Já fiz as correções necessárias, e organizei o necessário

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
al Álgebra Linear
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants