50
Revisão de Álgebra Linear Abel Soares Siqueira 10/08/2018 Machine Learning

Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

  • Upload
    lethu

  • View
    216

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Revisão de Álgebra Linear

Abel Soares Siqueira

10/08/2018

Machine Learning

Page 2: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Vetores

• Elementos do Rn;

• Características;

1

Page 3: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Vetores

v = (v1, . . . , vn)

v =

v1...vn

2

Page 4: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Vetores

vTw = v1w1 + · · ·+ vnwn =n∑

i=1

viwi

‖v‖2 =

( n∑i=1

v2i

)1/2

=√vT v

‖v‖1 =n∑

i=1

|vi |

‖v‖∞ = maxi=1,...,n

|vi |

3

Page 5: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Vetores

v

w

θ projwv

cos θ =vTw

‖v‖ ‖w‖.

projwv =vTw

wTww .

4

Page 6: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Retas

R2 :ax + by = c , a, b, c ∈ R

R3 :x − x0

a=

y − y0

b=

z − z0c

, x0, y0, z0 ∈ R, a, b, c ∈ R∗

Parametrizado:x = x0 + tv , v , x0 ∈ Rn, t ∈ R.

x0

v

5

Page 7: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Planos

R2 :ax + by = c , a, b, c ∈ R

R3 :ax + by + cz = d , a, b, c , d ∈ R

Rn :wT x + b = 0, w ∈ Rn, b ∈ R.

w

6

Page 8: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Matrizes e sistemas lineares

a11x1 + · · ·+ a1nxn = b1

... · · ·... =

...am1x1 + · · ·+ amnxn = bm

a11 . . . a1n...

...am1 . . . amn

x1

...xn

=

b1...bm

Ax = b, A ∈ Rm×n, x ∈ Rn, b ∈ Rm.

7

Page 9: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Matrizes e sistemas lineares

• SL aparecem em toda parte;

• Maior parte das linguagens tem um jeito fácil de resolver SL;

• SL especiais precisam de métodos especiais;

8

Page 10: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Espaço vetorial

• V é um EV, então v ∈ V é um vetor;

• Vamos usar só V = Rn;

• 〈v1, . . . , vk〉 = α1v1 + · · ·+ αkvk : αi ∈ R;• v1, . . . , vk ⊂ Rn é LI se

α1v1 + · · ·+ αkvk = 0⇒ αi = 0,

que é um sistema[v1 · · · vk ]︸ ︷︷ ︸

n×k

α = 0;

• v e w são Linearmente Independentes se não são paralelos;

9

Page 11: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Subespaços vetoriais

• Espaço vetorial Rn;

• Subspaço vetorial E ⊂ Rn;

• α, β ∈ R e v ,w ∈ E , temos αv + βw ∈ E ;

• 0 e Rn são subespaços do Rn;

10

Page 12: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Subespaços vetoriais

〈v1, . . . , vk〉 = α1v1 + · · ·+ αkvk : αi ∈ R.⟨[11

]⟩= (x , y) ∈ R2 : y = x

⟨[11

],

[−2−2

]⟩= (x , y) ∈ R2 : y = x

11

Page 13: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Subespaços vetoriais

• 〈v1, . . . , vk〉 é um subespaço;

• Se E é subespaço de Rn é gerado por v1, . . . , vk ;

• Se β = v1, . . . , vk é LI, e E = 〈v1, . . . , vk〉, então β é uma base para E , e dim(E ) = k ;

12

Page 14: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Matrizes e subespaços

• Sistema homogêneo: Ax = 0;

• Núcleo de A: Nu(A) = x : Ax = 0 ⊂ Rn;

• Imagem de A: Im(A) = Ax , x ∈ Rn ⊂ Rm;

• Posto de A é p = dim(Im(A));

• Ax = b quer dizer que b ∈ Im(A);

13

Page 15: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Eliminação Gaussiana

[A | b] : Matriz aumentada

Li : linha i

• Li ← αLi , α 6= 0;

• Li ↔ Lj ;

• Li ← Li − αLj .

14

Page 16: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Eliminação Gaussiana - Forma escada

• Cada linha não nula tem mais zeros à esquerda que a linha de cima;

• As linhas nulas estão todas abaixo;

• O primeiro elemento não nulo é chamado de pivô;

• Se alguma linha é nula, exceto o valor mais à direita (bj), o sistema é impossível, i.e.,não tem solução;

• O número de linhas não nulas é o posto p da matriz;

• Se p = n, o sistema é possível e determinado, i.e., existe uma única solução;

• Se o posto for menor que n, o sistema é possível e indeterminado, i.e., existeminfinitas soluções.

15

Page 17: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Eliminação Gaussiana - Forma escada reduzida

• Pivôs 1, zerar acima do pivô, e mudar a ordem das colunas de A obtendo algo tipo

1 0 · · · 0 × · · · × c10 1 · · · 0 × · · · × c2...

.... . .

......

......

0 0 · · · 1 × · · · × cp0 0 · · · 0 0 · · · 0 0...

... · · ·...

... · · ·...

...0 0 · · · 0 0 · · · 0 0

,

ou

[I B c

0 0 0

].

• Quanto o posto é menor que n, existem n − p liberdades;• Um (hiper-)plano é um sistema linear com 1 equação;• Uma reta é um sistema linear com n − 1 equações;

16

Page 18: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Projeções

• Dado um conjunto Ω ⊂ Rn, a projeção de y em Ω é um vetor z ∈ Ω, se existir, tal que

‖z − y‖ ≤ ‖x − y‖ , ∀x ∈ Ω.

• Isso pode ser visto como encontrar o ponto em Ω mais próximo de y .

• Se o conjunto Ω for um espaço vetorial, a projeção sempre existe, e é única; Nesse casotambém vale

z − y ⊥ z − x , ∀x ∈ Ω.

• Se Ω é EV e v1, . . . , vk é uma base ortogonal de Ω, então

z =yT v1

vT1 v1

+ · · ·+ yT vkvTk vk

.

17

Page 19: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Quadrados Mínimos

• Considere A ∈ Rm×n, com m > n, e b ∈ Rm.

• O sistema Ax = b pode não ter solução mesmo que as colunas de A sejam LI.

• Uma maneira de obter uma solução aproximada é considerar o problema AT (Ax − b) = 0,que sempre terá solução.

• Essa solução pode ser obtida considerando o problema de encontrar x tal que o erro‖Ax − b‖ é mínimo.

• Esse problema pode ser interpretado como encontrar y mais próximo de b tal que y = Ax

para algum x .

• Em outras palavras, y é a projeção de b em Im(A).

18

Page 20: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Quadrados Mínimos

Im(A)

0

b

y

19

Page 21: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Quadrados Mínimos

• Conjunto de dados (xi , yi ) : i = 1, . . . ,m, onde yi ≈ β0 + β1xi .

0 2 4 6 8

0

2

4

6

8

10

20

Page 22: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Quadrados Mínimos

1 x1

1 x2...

...1 xm

︸ ︷︷ ︸

A

[β0

β1

]︸ ︷︷ ︸

β

y1

y2...ym

︸ ︷︷ ︸

y

Aβ ≈ y ⇒ ATA︸︷︷︸M

β = AT y︸︷︷︸c

M =

[m

∑mi=1 xi∑m

i=1 xi∑m

i=1 x2i

]c =

[ ∑mi=1 yi∑m

i=1 xiyi

]

21

Page 23: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

• Se existem λ e v 6= 0 tais que Av = λv então λ é dito um autovalor e v um autovetorassociado à λ.

• Se λ é autovalor, existem infinitos autovetores. Escolhemos com norma 1 em geral.

• Se A é simétrica, existe uma base v1, . . . , vn ortonormal de autovetores.

22

Page 24: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

23

Page 25: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 26: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 27: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 28: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 29: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 30: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 31: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 32: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 33: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 34: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 35: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 36: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 37: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 38: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 39: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 40: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 41: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 42: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 43: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 44: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 45: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 46: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 47: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 48: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

24

Page 49: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

Autovalores e autovetores

A =

[1 −1/2

−1/2 3/2

]

25

Page 50: Revisão de Álgebra Linear - abelsiqueira.github.ioabelsiqueira.github.io/disciplinas/cm116/2018/algebra-linear.pdf · QuadradosMínimos ConsidereA 2Rm n,comm >n,eb 2Rm. OsistemaAx

FIM

26