Álgebra linear/Imprimir


 

Wikilivros

"Livros abertos por um mundo aberto"

Wikilivristas que participaram do desenvolvimento e manutenção deste wikilivro:

Bem-vindo ao mundo da Álgebra Linear! Este livro foi escrito para ajudá-lo a compreender as complexidades e os conceitos fundamentais dessa área da matemática. Desde o estudo de sistemas de equações lineares até a análise de transformações lineares e diagonalização de matrizes, este livro irá guiá-lo em sua jornada de aprendizado de Álgebra Linear.

Com suas muitas aplicações em campos como matemática, ciência da computação, engenharia e física, a Álgebra Linear é uma das áreas mais importantes e úteis da matemática. Neste livro, você terá a oportunidade de explorar os conceitos fundamentais da Álgebra Linear de uma forma abrangente e detalhada. Ao longo das páginas, você aprenderá sobre espaços vetoriais, sistemas de equações lineares, determinantes, valores e vetores próprios, produtos internos e externos, e muitos outros tópicos. Cada capítulo contém explicações claras e concisas, exemplos ilustrativos e exercícios práticos para ajudá-lo a entender e praticar os conceitos.

Este livro apresenta uma abordagem didática e abrangente, com exemplos ilustrativos, exercícios e problemas práticos, além de explanações claras e concisas. Esperamos que, ao final da leitura, você tenha uma sólida compreensão dos conceitos e uma base sólida para prosseguir em sua jornada de estudos matemáticos. Boa leitura!

Este estudo de álgebra linear começará com a análise dos sistemas de equações lineares. Tais sistemas aparecem frequentemente em matemática aplicada, economia e engenharia ao modelar certos fenômenos. Por exemplo, em programação linear, geralmente é discutido como maximizar o lucro quando existem certas restrições relacionadas a dificuldade, disponibilidade de tempo, ou outras condições. Estas restrições podem ser colocadas na forma de um sistema de equações lineares.

 
Wikipedia
A Wikipédia tem mais sobre este assunto:
Sistema de equações lineares

Equações lineares

editar
 
Wikipedia
A Wikipédia tem mais sobre este assunto:
Equação linear

Uma equação linear é uma equação composta exclusivamente de adições e subtrações de termos que são constantes ou o produto de uma constante pela primeira potência de uma variável.

Conforme a natureza do problema que dá origem a equação, as constantes e as variáveis podem ser números inteiros, reais, complexos ou ter uma estrutura ainda mais geral (veja, por exemplo, um artigo sobre "corpos" na Wikipédia). No caso dos números inteiros, chama-se a equação de "equação linear diofantina", e seu estudo é feito na teoria de números.

Neste Wikilivro, será considerado que as constantes e as variáveis de uma equação linear são elementos de um subcorpo   do corpo dos números complexos. Os elementos de   serão chamados de escalares. Para a maior parte do texto, o leitor não familiarizado com corpos e outras estruturas algébricas pode admitir que os escalares são os números complexos.

Uma caracterização mais formal do que se entende por "equação linear" é a seguinte:

Definição

Uma equação linear em   variáveis sobre o corpo   é uma equação que pode ser colocada na forma  , sendo que os escalares   são denominados coeficientes, e   é chamado de termo independente, ou termo constante.

Cada equação linear pode ser vista como uma igualdade entre zero e um polinômio do primeiro grau em várias variáveis, uma vez que:

  

Como foi ressaltado no exemplo, para uma equação ser chamada de "linear", ela não precisa necessariamente estar com todas as variáveis no membro esquerdo da equação, embora seja usual escrevê-la assim. Como será visto posteriormente, usando essa convenção é possível simplificar a resolução de sistemas de equações lineares (veja adiante), introduzindo o conceito de matriz.

Soluções de uma equação linear

editar
Definição

Uma solução da equação linear   é uma  -upla (um vetor)  , cujas entradas   podem ser colocadas no lugar de cada  , para  , de modo que a igualdade seja verdadeira. O conjunto solução de uma equação linear é aquele formado por todas as suas soluções.

Por exemplo,   é uma solução da equação linear  , uma vez que  , mas   não.

No caso em que a quantidade de variáveis em uma equação linear é menor ou igual a três, pode-se associar ao seu conjunto solução, uma interpretação geométrica. Acompanhe os exemplos a seguir:

 
Representação gráfica de duas equações lineares

Pode-se generalizar a relação entre equações lineares e geometria para o caso em se tem um número arbitrário de variáveis. No entanto, nessa situação não é possível visualizar a "forma geométrica" que corresponde às soluções da equação. O termo utilizado para descrever a forma geométrica correspondente ao conjunto solução de uma equação a   variáveis é hiperplano afim, de dimensão  . Neste texto, no entanto, será usado simplesmente a terminologia  -plano.

Sistemas de equações lineares

editar
Definição

Um sistema de equações lineares (ou sistema linear) é uma coleção de equações lineares envolvendo o mesmo conjunto de variáveis.

Um sistema geral de   equações lineares com   incógnitas (ou variáveis) pode ser escrito como

 

Aqui,   são as incógnitas,   são os coeficientes do sistema, e   são os termos constantes.

A "chave" colocada à esquerda das equações é uma forma de lembrar que todas as equações devem ser consideradas em conjunto. A seguir são apresentados alguns exemplos de equações lineares.

Soluções de sistemas lineares

editar
Definição

Uma solução de um sistema linear é uma  -upla de valores   que simultâneamente satisfazem todas as equações do sistema.

 
Cada equação de um sistema linear em três variáveis determina um plano. Uma solução do sistema corresponde a um ponto na interseção desses planos

A coleção de todas as possíveis soluções de um sistema linear será chamada de conjunto solução, sendo geralmente denotado por  . Uma fórmula que descreva todos os vetores do conjunto solução é chamada de solução geral. Dessa definição, decorre que o conjunto solução de um sistema linear é a interseção entre os conjuntos soluções de cada equação do sistema (veja a figura).

Um sistema linear é dito consistente se possui alguma solução. Caso contrário, é chamado de inconsistente.

Em geral, para qualquer sistema linear existem três possibilidades a respeito das soluções:

  • Uma única solução: Neste caso, existe apenas uma solução específica (uma certa  -upla). O conjunto   tem um único elemento. Geometricamente, isto implica que os  -planos determinados pelas equações do sistema se intersectam todos em um mesmo ponto do espaço, que é especificado pelas coordenadas da solução (as "entradas" da  -upla). O sistema é dito possível (existe alguma solução) e determinado (existe uma única solução);
  • Nenhuma solução: Nesta situação, não existe qualquer  -upla de valores que verifiquem simultaneamente todas as equações do sistema. O conjunto   é vazio. Geometricamente, os  -planos correspondentes as equações não se intersectam (são paralelos). O sistema é dito impossível (não existe solução).
  • Infinitas soluções: As equações especificam  -planos cuja intersecção é um  -plano onde  . Sendo este o caso, é possível explicitar um conjunto   com infinitas soluções. O sistema é dito possível (existe alguma solução) e indeterminado (sua quantidade é infinita)

As seguintes figuras ilustram os casos acima:

     
Uma única solução Nenhuma solução Infinitas soluções

Sistemas lineares equivalentes

editar
Definição

Dois sistemas lineares são ditos equivalentes quando possuem o mesmo conjunto solução.

Nos exemplos anteriores, pode-se notar que todos os sistemas possuem o mesmo conjunto solução (são equivalentes), embora no exemplo (V) a solução não esteja "tão evidente" como no caso de (I).

Isso sugere uma estratégia para resolver sistemas lineares: para determinar o conjunto solução de um sistema linear arbitrário (por exemplo (V)), basta encontrar um outro sistema linear que lhe seja equivalente, mas cuja solução seja imediata (como o (I), cuja solução é óbvia!).

Resta agora encontrar uma forma de produzir sistemas lineares equivalentes a um sistema dado, e que sejam simples (senão imediatos!) de resolver. As técnicas usadas para este fim serão apresentadas na próxima seção.

Operações com equações

editar

Para um melhor entendimento das técnicas que podem ser utilizadas na resolução de sistemas lineares, serão sintetizadas no teorema a seguir as "operações" que podem ser feitas com as equações de um sistema, sem que seu conjunto solução seja alterado. Como será visto posteriormente, é possível determinar o conjunto solução de qualquer sistema linear (resolver o sistema), usando apenas três "operações elementares".

Teorema

Se um sistema linear é obtido a partir de outro, através de uma dessas operações

  1. Trocar a posição de duas equações;
  2. Trocar uma equação por um múltiplo (não nulo) de si mesma;
  3. Trocar uma equação pela soma de si mesma com um múltiplo de outra equação;
então ele possui as mesmas soluções que o sistema original.

Demonstração

editar
  • Deixada a cargo do leitor. Sinta-se a vontade para acrescentá-la ao texto.

Métodos para a resolução de sistemas lineares

editar

Eliminação de variáveis

editar

Um método bastante simples para a resolução de um sistema linear é eliminar as variáveis, uma após a outra. Este método consiste dos seguintes passos:

  1. Na primeira equação, isole uma das variáveis em função das outras.
  2. Substitua a expressão acima em cada uma das outras equações. Isso produz um outro sistema de equações, com uma equação a menos e uma variável a menos.
  3. Repita o passo anterior até que reste apenas uma equação linear.
  4. Resolva esta equação e use a resposta obtida para determinar as demais variáveis nas outras equações.

Sabe-se que sistemas lineares em poucas variáveis também podem ser resolvidos usando outros métodos.

Observe, no entanto, que estas técnicas não são muito práticas ao lidar com sistemas grandes, onde exista um grande número de variáveis. Apesar disso, tais procedimentos podem ser generalizados, dando origem a algoritmos como a eliminação de Gauss e a eliminação de Gauss-Jordan, que pode ser usado em situações bem mais gerais.

O método da eliminação gaussiana será estudado em um capítulo posterior.

Muitas vezes é preciso resolver vários sistemas lineares que diferem apenas em seus termos constantes. Os coeficientes das incógnitas permanecem os mesmos. Uma técnica chamada de decomposição LU é usada nestes casos. Em situações muito particulares, ela adminte uma variante conhecida como fatoração de Cholesky. Tais técnicas serão estudadas nos últimos capítulos.

Exercícios

editar

Este capítulo é apenas uma revisão. Não há exercícios.



Esta página foi eleita pelos colaboradores como uma das melhores do Wikilivros. Para mais informações, consulte a página de votações.

  A distribuição do conteúdo deste livro está confusa ou pouco didática (discuta).
Pede-se aos editores que reavaliem a distribuição do mesmo.
  Este módulo tem a seguinte tarefa pendente: É preciso fixar a notação para as entradas das matrizes ao longo do livro, pois ora são usadas   e ora   para as entradas de uma matriz  .

Introdução

editar

O termo matriz pode ser mais conhecido entre programadores e profissionais da informática, como sendo uma estrutura de dados. Em matemática, no entanto, matrizes são consideradas de forma bastante diferente.

Definição

Intuitivamente, uma matriz é uma lista de números, dispostos em linhas e colunas, ou seja, é um tipo de tabela.

Logo abaixo, apresenta-se uma matriz. A notação utilizada é bastante comum.

 
Wikipedia
A Wikipédia tem mais sobre este assunto:
Matriz
 

A matriz acima tem 4 linhas e 3 colunas, então pode ser chamada de matriz 4 × 3 (matriz 4 por 3). Além disso, pode-se ter matrizes de muitas formas diferentes. A forma de uma matriz é o nome das dimensões da mesma (m por n, quando m é o número de linhas e n é o número de colunas). A seguir são indicados alguns outros exemplos de matrizes, adotando outras possíveis notações.

Este é um exemplo de matriz 3 × 3:

 

Esta matriz tem a forma 5 × 4:

 

Aqui, tem-se uma matriz 1 × 6:

 

As matrizes são objetos matemáticos que além de permitirem uma boa organização espacial de conjuntos de dados numéricos, podem ser operadas com números (multiplicação por escalar) e com outras matrizes (sendo adicionadas, multiplicadas, etc). Entender as operações sobre matrizes é essencial para o aprendizado de Álgebra Linear.

Uma matriz é formada por linhas, que são conjuntos de dados dispostos horizontalmente e por colunas, conjuntos de dados dispostos verticalmente. Cada elemento presente em uma matriz é indicado por uma letra minúscula que possui como índice um par ordenado que representa o número da linha e o da coluna. Costuma-se representar total de linhas de uma matriz pela letra m e o número total de colunas por n. Os valores de m e de n são as dimensões da matriz.

 
Organização de uma matriz

Exemplos de matrizes

editar

A matriz a seguir é uma matriz de ordem 2×3 com elementos naturais.

 

Nesse exemplo, o elemento   é 2, o número na primeira linha e segunda coluna do quadro.

De forma geral, numa matriz A de ordem m × n, o elemento   é o símbolo na i-ésima linha e j-ésima coluna de A. Assim:.

 

As entradas (símbolos) de uma matriz também podem ser definidas de acordo com seus índices i e j. Por exemplo,   para   de 1 a 3 e   de 1 a 2, define a matriz 3×2  

Abaixo, vemos o exemplo de uma Matriz Quadrada:

 

E agora um exemplo de uma Matriz Identidade:

 

Abaixo seguem informações sobre as principais operações definidas para matrizes. Abaixo matrizes serão representadas por letras maiúsculas e seus índices por letras minúsculas. Números escalares serão representados pela letra  

Tipos especiais de matrizes

editar
  • Uma Matriz Quadrada é toda aquela na qual   Isto é, ela possui o mesmo número de linhas e de colunas.
  • Uma Matriz Linha é toda aquela na qual   Isto é, ela possui apenas uma linha.
  • Uma Matriz Coluna é toda aquela na qual   Isto é, ela possui apenas uma coluna.
  • Uma Matriz Diagonal é toda aquela na qual   e cujo elemento   se   Isto é, possui todos os valores iguais à zero, exceto os elementos da diagonal principal.
  • Uma Matriz Escalar é toda aquela na qual   cujo elemento   se   e   Isto é, todos os valores são nulos, exceto os valores da diagonal principal que possuem sempre o mesmo valor.
  • Uma Matriz Nula é toda aquela cujos elementos   Isto é, se todos os seus elementos forem nulos.
  • Uma Matriz Identidade é toda aquela na qual   cujos elementos   se   e   se   Isto é, possui todos os valores nulos, exceto os valores da diagonal principal que valem sempre 1.

Álgebra matricial

editar

Multiplicação por um escalar

editar

A multiplicação por um escalar é uma das operações mais simples que podem ser feitas com matrizes.

Definição

Para multiplicar um número   qualquer por uma matriz m×n   basta multiplicar cada entrada   de   por   Assim, a matriz resultante   será também m×n e  

Com isso, pode-se pensar também na noção de dividir uma matriz por um número: basta multiplicá-la pelo inverso desse número. Mas essa noção pode ser perigosa: enquanto a multiplicação entre um número e uma matriz pode ser dita "comutativa", o mesmo não vale para a divisão, pois não se pode dividir um número por uma matriz.

É impossível somar ou subtrair escalares de matrizes.

A multiplicação por escalar possui as seguintes propriedades:

  • Associativa em relação ao Escalar:  
  • Distributiva em relação ao Escalar:  
  • Distributiva em relação à Matriz:  
  • Elemento Neutro:  

Adição de Matrizes

editar

A adição de matrizes é outra operação bastante simples.

Definição

Sempre que uma matriz A é somada à uma matriz B, o resultado será uma matriz C, cujos elementos  

Perceba que a operação de soma para matrizes de diferentes dimensões não é definida.

A adição de matrizes possui as seguintes propriedades:

  • Propriedade Associativa:  
  • Elemento Neutro:   (  é uma Matriz Nula, não um escalar)
  • Simétrico Aditivo:  
  • Comutatividade:  

Multiplicação de Matrizes

editar

A multiplicação de duas matrizes é bem definida apenas se o número de colunas da matriz da esquerda é o mesmo número de linhas da matriz da direita.

Definição

Se   é uma matriz   e   é uma matriz   então seu produto   é a matriz   (m linhas e p colunas) dada por:

  para cada par  

A motivação dessa definição é a seguinte: se   denota a  -ésima linha da matriz   podemos criar outra matriz   cujas linhas   sejam combinações lineares das linhas de  

 
 
 

Em cada linha   a entrada na  -ésima coluna será uma combinação linear de todas as entradas de   nessa mesma coluna:

 

mas   corresponde a   Então, se   for a matriz com as entradas   definidas como acima, obtemos a fórmula acima.

Da mesma maneira, se   denota a  -ésima coluna da matriz   podemos criar uma matriz   cujas colunas   sejam combinações lineares das colunas de  

 

E, tomando as entradas na  -ésima linha, obtemos

 

Mas a   a  -ésima entrada à linha   corresponde ao elemento   de modo que também obtemos a fórmula acima.

Portanto,


Propriedades

editar

A multiplicação de matrizes tem as seguintes propriedades:

  • Associativa:
     
  • Distributiva em relação à Adição:
     
  • Elemento Neutro: se   é uma matriz   então
      onde   representa a matriz identidade de ordem  

Note que, em geral, a multiplicação de matrizes não é comutativa, ou seja, geralmente tem-se   Em muitos dos casos, a multiplicação   pode não estar sequer definida: quando existe a multiplicação   a multiplicação   só pode existir no caso em que   e   são quadradas; mesmo assim, ainda pode ocorrer a não-comutatividade.

Transposição

editar
Definição

A operação de transposição de uma matriz   retorna como resultado sempre um matriz   tal que, para todo elemento de   e       é então dita a matriz transposta de   denotada por  

  • O número de linhas da matriz transposta será igual ao número de colunas da matriz original, assim como o número de colunas da transposta será igual ao número de linhas da original. Ou seja, se   era     será  
  • Cada coluna de   corresponderá a uma linha de   e vice-versa.
  1. Para saber mais sobre o surgimento das matrizes, pode ser consultado este site.

Ver também

editar
 
Wikipedia
A Wikipédia tem mais sobre este assunto:
Matriz (matemática)

Em matemática, determinante é uma função matricial que associa a cada matriz quadrada um escalar; ela transforma essa matriz em um número real. Esta função permite saber se a matriz tem ou não inversa, pois as que não têm são precisamente aquelas cujo determinante é igual a 0.

Definição

editar

Seja   o conjunto das matrizes com n linhas e n colunas sobre um corpo k. Pode-se provar que existe uma única função   com as seguintes propriedades:

  1.   é n-linear e alternada nas linhas das matrizes;
  2.   (  ) onde    é a matriz identidade.

Esta função denomina-se de determinante.

O determinante de uma matriz   representa-se por   ou por  .

Matrizes 3x3

editar

O determinante de matrizes de ordem 3 pode ser encontrado pela Regra de Sarrus, na qual a matriz é extendida repetindo as duas primeiras colunas, de modo que seja obtida uma sequência de 5 colunas. Em seguida, é somado os produtos das três diagonais principais (que partem de cima para baixo) e subtraído os produtos das três diagonais secundárias (que vão de baixo para cima). Seja a matriz de ordem 3  , o determinante pode ser dado por:

 

Cofator de uma matriz

editar

É um número associado a um elemento qualquer de uma matriz quadrada. Compreender o cofator é um pré-requisito para o estudo do Teorema de La Place, que é comumente usada para calcular determinantes de ordem maior que três. Cada elemento possui o seu respectivo cofator, que é representado pela seguinte expressão:

 

O valor de   é justamente o cofator do elemento  . O ultimo termo diz respeito a determinante da matriz em questão sem os elementos da linha   e da coluna  .

Calcule o determinante usando cofatores:

 


 

Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

  A distribuição do conteúdo deste livro está confusa ou pouco didática (discuta).
Pede-se aos editores que reavaliem a distribuição do mesmo.
 

Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

Definição

editar

Um espaço vetorial é formado por:

  1. Um conjunto qualquer   cujos elementos serão chamados de vetores;
  2. Um corpo   cujos elementos serão denominados escalares, com elementos neutros distintos 0 e 1;
  3. Uma operação   conhecida como adição de vetores;
  4. Uma operação   chamada de multiplicação por escalar.

Neste wikilivro, será escrito simplesmente   para denotar  

Normalmente, o corpo K é o corpo dos números racionais, dos números reais ou dos números complexos.

Definição

Dizemos que   é um espaço vetorial sobre   quando as operações   e   satisfazem as seguintes propriedades:

Adição
  1. Para cada     (comutatividade)
  2. Para cada     (associatividade)
  3. Existe um vetor   tal que para cada     (neutro aditivo)
  4. Para cada   existe   tal que   (inverso aditivo)
Multiplicação por escalar
  1. Para cada   e cada     (distributividade)
  2. Para cada   e cada     (distributividade)
  3. Para cada   e cada     (associatividade)
  4. Para cada     (neutro multiplicativo)

Exemplos

editar
  •  ,   e, mais geralmente,  , são espaços vetoriais reais (sobre o corpo  ), quando munidos da soma e multiplicação por escalar usuais.
  • O conjunto formado pelo único número real 0, ou seja, {0}, é um espaço vetorial sobre  
  •   é um espaço vetorial sobre  
  • Os exemplos acima são aplicáveis para qualquer corpo K, ou seja, são espaços vetoriais sobre K: {0}, K e Kn.
  • Seja   um número qualquer. O conjunto dos polinômios de grau menor ou igual a   é um espaço vetorial, onde consideramos a soma de dois polinômios como a soma dos coeficientes de mesmo grau e a multiplicação por escalar como a multiplicação de cada coeficiente pelo escalar em questão.
  • Seja   o conjunto dos números inteiros positivos, e S o conjunto de todas as funções de domínio   e contradomínio   Dadas f e g funções e λ um número real, podemos definir
(f + g) como a função que leva o número inteiro positivo n no número real f(n) + g(n)
(λ f) como a função que leva o número inteiro positivo n no número real λ f(n).

Ou seja, foram definidas as operações de soma de vetores e produto de um escalar por um vetor em S. Como exercício, podem-se provar os axiomas, mostrando que S é um espaço vetorial. Este espaço vetorial é tão importante que tem um nome: ele é o espaço vetorial das sequências de números reais.

  • O exemplo acima pode ser generalizado. Seja K um corpo qualquer, e I um conjunto qualquer (a letra I é porque este conjunto será chamado de conjunto de índices). Então o conjunto KI, das funções de domínio I e contra-domínio K, torna-se naturalmente um espaço vetorial definindo-se para    
 
 
O fato de um conjunto ser ou não um espaço vetorial depende fortemente das operações envolvidas. O próximo exemplo ilustra esta questão:
Exemplo: Verifique se  , munido das operações
 
é um espaço vetorial.
Com efeito, observe inicialmente que a a soma em questão é a usual. Logo, satisfaz as propriedades de espaço vetorial. Iremos provar que a a multiplicação por escalar não satisfaz o seguinte propriedade de espaço vetorial:
 
De fato, se  , então  . Portanto,  , munido destas operações, não é um espaço vetorial.

Subespaços vetoriais

editar

Definição

editar

Seja   um espaço vetorial sobre o corpo   Um subespaço vetorial de   é um subconjunto   que também é um espaço vetorial sobre   com as mesmas operações (adição e multiplicação por escalar) de  

Equivalentemente, um subespaço vetorial de   é um subconjunto não-vazio   fechado em relação às operações de adição e multiplicação por escalar, ou seja, um subconjunto tal que

  1. Para todos   tem-se  
  2. Para qualquer escalar   e para todo   tem-se  


Exemplo: Seja  . Provemos que   é um subespaço vetorial.

  1. O subconjunto   é não-vazio, uma vez que o vetor nulo pertence a  .  
  2. O subconjunto   é fechado em relação à soma. Considere os vetores   e   abaixo:  A soma desses dois vetores resulta no vetor O vetor resultante da soma de   e   ainda se encontra presente em  , pois a segunda coordenada continua sendo o dobro da primeira e a terceira coordenada, o triplo da primeira.
  3. O subconjunto   é fechado em relação à multiplicação por escalar. Considere novamente o vetor   abaixo:  A multiplicação de   por um escalar   resultará em:  O vetor resultante dessa multiplicação ainda se encontra presente no subespaço  , pois a segunda coordenada continua sendo o dobro da primeira e a terceira coordenada, o triplo da primeira.

Combinação linear

editar

Definições

editar
Definição

Seja   um espaço vetorial sobre um corpo   Um vetor   é dito combinação linear dos vetores   se existem escalares   tais que

 

Note-se que, pela definição, nem os λ nem os v precisam ser distintos.

Definição

Seja S um subconjunto do espaço vetorial V. Um vetor   é dito uma combinação linear de elementos de S quando   ou existem:

um número inteiro positivo n,  
vetores   e
escalares  
tais que
 

Deve-se notar que a condição u = 0 é importante para o caso em que S seja o conjunto vazio. Equivalentemente, seria possível definir a soma de zero vetores como o vetor nulo (isto é semelhante à definição do fatorial de 0, igual ao produto de zero fatores, ou seja, é o elemento neutro multiplicativo, 1).

Propriedades

editar
  • Todo elemento x de S é uma combinação linear de elementos de S. Basta escolher n = 1, v1 = x e λ = 1, de forma que x = λ v1
  • Se x é uma combinação linear de elementos de S, e λ é um escalar, então λ x também é uma combinação linear de elementos de S. Prova: x = 0 (neste caso, λ x = 0) ou   Então  
  • Se x e y são combinações lineares de elementos de S, então x + y também é. A prova é um pouco mais complicada, e será feita com cuidado
    • Caso x ou y sejam 0, é imediato que x + y, sendo igual a x ou y, é uma combinação linear de elementos de S.
    • No caso geral,   e   Então definindo
        e
        temos que
       
  • Os últimos resultados mostram que o conjunto formado por todas as combinações lineares de elementos de S é um espaço vetorial - o capítulo seguinte estudará este espaço

Dependência e Independência linear

editar
Definição

Seja   um subconjunto de   Dizemos que   é linearmente dependente se existem vetores distintos   e escalares   não todos nulos, tais que

 
Ou seja,   é linearmente dependente se alguma combinação linear não-trivial de alguns de seus vetores resulta no vetor nulo. Quando   não é linearmente dependente, ou seja, quando a única combinação linear de vetores de   que resulta no vetor nulo é a trivial (com todos os coeficientes nulos), dizemos que   é linearmente independente.


Quando temos um número finito de vetores   é comum dizer que os vetores   são linearmente dependentes (ou independentes), em vez de dizer que o conjunto   é linearmente dependente (ou independente).

Propriedades

editar
  • Pela definição, o conjunto vazio é linearmente independente.
  • Todo conjunto que contém o vetor nulo é linearmente dependente.
  • Todo conjunto que tem um subconjunto linearmente dependente é linearmente dependente.
  • Todo subconjunto de um conjunto linearmente independente é linearmente independente.
  • Se um vetor de um conjunto é combinação linear de outros vetores desse conjunto, então o conjunto é linearmente dependente.
  • A interseção de dois conjuntos linearmente independentes é linearmente independente - podendo ser o conjunto vazio.
  • A interseção de um número qualquer de conjuntos linearmente independentes é linearmente independente.
  • A união de conjuntos linearmente independentes, normalmente, não será linearmente independente. Porém quando um conjunto é subconjunto de outro, a sua união (sendo igual ao maior conjunto) é linearmente independente. Uma extensão não-trivial desta propriedade é a seguinte: seja K um conjunto formado por conjuntos linearmente independentes, de modo que dados quaisquer dois elementos de K, um deles é subconjunto do outro. Então a união de todos os elementos de K também é linearmente independente.

Espaço gerado

editar

Definição

editar
Definição

Seja   um subconjunto de um espaço vetorial   O conjunto de todas as combinações lineares finitas de elementos de   é um subespaço   de   e é dito o subespaço gerado por   Quando   é um conjunto finito   dizemos que   é o subespaço gerado pelos vetores  

Exemplos

editar
  Este módulo tem a seguinte tarefa pendente: Elaborar e incluir uma imagem para ilustrar este conceito.
  • Em qualquer espaço vetorial V, o espaço vetorial gerado pelo conjunto vazio é o subespaço vetorial { 0 }. Analogamente, o espaço vetorial gerado pelo conjunto V é o próprio V
  • Em   o espaço vetorial gerado por um vetor não-nulo é uma reta que passa pela origem
  • Em   o espaço vetorial gerado por um vetor não-nulo também é uma reta que passa pela origem
  • Em   o espaço vetorial gerado por dois vetores não-nulos, em que um deles não é múltiplo do outro, é todo o  
  • Em   o espaço vetorial gerado por dois vetores não-nulos, em que um deles não é múltiplo do outro, é um plano que passa pela origem

Definição através de conjuntos

editar

Seja S um conjunto de vetores de V. Pode-se perguntar qual é o menor subespaço vetorial de V que contém S. Para ser mais preciso, temos o seguinte:

  • V é um subespaço vetorial de V que contém S
  • A interseção de subespaços vetoriais de V que contém S também é um subespaço vetorial de V

Ou seja, seja K o conjunto (não vazio, porque  ) definido por:

  •  

e seja   definido por:

  •  

Teorema

editar

Nas condições definidas acima,   é o subespaço vetorial gerado por S.

Definição

Seja   um subconjunto de um espaço vetorial     é uma base do espaço vetorial   quando o subespaço de   gerado por   é o próprio   e   é um conjunto linearmente independente. Quando uma base   é um conjunto finito   de   elementos, dizemos que   tem dimensão  .

Seja V um espaço vetorial e B uma base de V. Suponha que um vetor   seja escrito como combinação linear de vetores de B de duas formas diferentes:   O que pode ser dito a respeito dos λ e μ? O que pode ser dito a respeito dos ui e wj? A resposta é que, de certa maneira, eles são únicos.

Coordenadas

editar
Definição

Seja B uma base de um espaço vetorial V. Se existe   então para todo vetor   se expressarmos v como uma combinação linear de elementos de B que inclua b, o coeficiente do termo b será constante. Em outras palavras, para toda base B do espaço vetorial V existe uma função que associa a cada par   um escalar. Esta função é chamada de a coordenada de v na base B

Ver também

editar

Wikipédia

editar
  A distribuição do conteúdo deste livro está confusa ou pouco didática (discuta).
Pede-se aos editores que reavaliem a distribuição do mesmo.
 

Esta página é um esboço de matemática. Ampliando-a você ajudará a melhorar o Wikilivros.

Transformações Lineares

editar

Definição

editar
Definição

Uma função   onde   e   são espaços vetoriais sobre um corpo   é dita uma transformação linear se, para todos   e para todo   tem-se

 
 

Existência de uma transformação

editar

Sejam V e W espaços vetoriais sobre um corpo K, onde a  . Seja   uma base de V e   vetores quaisquer de W. Então existe uma transformação linear  .


Prova
  • T existe e está bem definida
    Dado   tal que  . Podemos definir T em v como  . Sendo   uma base, tem-se a unicidade de   e, consequentemente, T está bem definida por meio da regra que associa o vetor   ao vetor  . Vemos através da definição que  .
  • T é linear
    Tome  . Assim  . Pela definição  . De outro modo  . Portanto  .
  • T é única
    Suponha que exista  , então se  , então  .

Imagem de uma transformação linear

editar

A seguir será discutido um exemplo de como achar a imagem de uma transformação linear. Considere  , definida por  . O valor de   em um ponto   pode ser reescrito da seguinte forma:

 .

Consequentemente, todo ponto da imagem é uma combinação linear dos vetores   e  , isto é, tais vetores formam um conjunto de geradores para a imagem de  . Como poderá ser verificado pelo leitor[1], estes vetores também são linearmente independentes, constituindo portanto uma base para a imagem de  .

Núcleo

editar
Definição

Seja   uma transformação linear entre os espaços vetoriais V e W. O núcleo da transformação linear, Ker(T), é a imagem inversa do vetor nulo em W:

 

Teorema do núcleo

editar

O núcleo de uma transformação linear é um subespaço vetorial do seu domínio

A demonstração é simples:

  • Ker(T) não é vazio, pois 0V é um elemento de Ker(T), já que T(0V) = 0W
  • Se   então T(v) = T(w) = 0, logo, pela linearidade de T, T(v + w) = 0 e  
  • Se   e   temos   logo   ou seja,  

Posto e nulidade

editar

Se  , e  

  • O posto(T) = dim Im(T),isto é, a dimensão da imagem de T(V), isto é, a quantidade de vetores L.I. que geram toda a imagem de T(V).

e

  • A Nulidade(T) = dim Ker(T), isto é, é a dimensão do núcleo de T(V), isto é, a quantidade de vetores L.I. que geram todo o núcleo de T(V).

Teorema do posto e da nulidade

editar

Sejam V e W espaço vetoriais sobre o corpo K e  . Se  , então posto(T) + Nulidade(T) = dim V

Prova

  • Definindo a base do núcleo e a base do espaço:

Seja   uma base do Ker(T). Existem vetores   com j=k+1,...,n onde   é uma base de V.

  • Definindo a base da imagem:

Como   é a base de V, T aplicada nessa base gera um conjunto que gera a imagem de T por V. Aplicando T sobre os vetores da base de V, temos  , mas  , pela definição de núcleo. Assim os vetores   geram a imagem de T(V).

  • Provando que os vetores são independentes:

Como queremos uma base, eles devem ser independentes, isto é, devem   tal que  .

Tomemos  . Logo  . Como  .

Portanto  . Como   são L.I., então  .

  • Definindo posto e nulidade:

O Posto(T) = dim Im(T). Como   geram a imagem de T(V), logo o posto(T)= n - (k+1) +1 = n-k.

A nulidade (T) = dim Ker(T). Como   é uma base do Ker(T), logo a Nulidade (T)= k - 1 + 1 = k

Como n = dim V, Nulidade(T)=k e Posto(T)=n-k, portanto Posto(T) + Nulidade(T) = dim(V).

Funcionais lineares

editar

Definição

editar
Definição

Uma função   onde V é um espaço vetorial sobre K, é chamada de funcional linear se,   e  

 
 


Teorema  (existência e unicidade)

Se V é um espaço vetorial de dimensão n e   é uma base de V, então existe um único funcional f, tal que   e  


Teorema  (base dual)

Se V é um espaço vetorial,   e   é uma base de V, então existe uma única base   de   tal que  

Definição

  é chamada de base dual de  
  é chamado de espaço dual de V

Corolários:

 
 

Teoremas

editar
Teorema  (representação dos funcionais lineares)

Sejam V um espaço vetorial sobre K,   com produto interno, e   um funcional linear. Então existe um único vetor   tal que    

Demonstra-se ainda que  

Operador linear

editar

Dizemos que T uma transformação linear,   é chamada operador linear de T sobre V.

Adjunto de um operador linear

editar

Definição

editar
Definição

Seja V um espaço vetorial. O operador adjunto,   de um determinado operador linear   é definido pela igualdade:

 

Demonstra-se que todo operador linear possui um e apenas um operador adjunto correspondente.

A partir da definição, podemos obter as seguintes conseqüências (prove!):

 
 
 
Proposição

Seja V um espaço vetorial sobre K,   com produto interno. Seja   uma base ortonormal de V. Então   onde  


Corolário

Seja V um espaço vetorial sobre K,   com produto interno. Então, para qualquer base   ortonormal de V, temos que a matriz  

Operadores especiais

editar
  • Auto-adjunto ( )
  • Unitário ( )
  • Normal ( )

Operador auto-adjunto

editar
Definição

  é chamado de auto-adjunto se  

Uma matriz A é auto-adjunta se  

  • Se     é chamada simétrica.
  • Se     é chamada hermitiana.

Os seguintes enunciados são úteis na prova de teoremas do operador auto-adjunto:

Se   então  
Se V é complexo e   então  

Prove:

  • Se   e   então  
  • Seja   com V complexo. Então  

Operador unitário

editar
Definição

  é chamado de unitário se  

Uma matriz A é unitária se  


Prove:

  • T é unitário   (T preserva o produto interno)
  • T é unitário   (T preserva a norma)
  • T é unitário   é unitário

Operador normal

editar
Definição

  é chamado de normal se  

Uma matriz A é normal se  

Prove:

  • Todo operador auto-adjunto é normal
  • Todo operador unitário é normal

É importante ressaltar, ainda, que existem operadores normais que não são unitários nem auto-adjuntos.

Subespaço invariante

editar

Definição

editar
Definição

W, subespaço vetorial de V, é dito invariante sob o operador   se  

Dizemos também que W é T-invariante.

Exercícios

editar

Prove:

  • Se W é T-invariante, então   é  -invariante.
  • Se W é T-invariante e T é auto-adjunto, então W é  -invariante.
  • Se W é T-invariante e T é inversível, então  
  • Se W é T-invariante e T é inversível, então W é  -invariante e