Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Espaços de funções

Espaços de funções

...

Paulo Bordoni

May 26, 2017
Tweet

More Decks by Paulo Bordoni

Other Decks in Education

Transcript

  1. O Mestre e a Mestra farão, a seguir, um bate-bola

    envolvendo comentários fundamentais amarrando coisas que estudamos até agora.
  2. A Álgebra se ocupa das operações entre entes matemáticos, como

    os números. Os inteiros, naturais, racionais, reais e complexos. Não apenas. Criada no século XX, ela constitui um dos grandes campos de estudo da Matemática, envolvendo entidades mais sofisticadas que números.
  3. Sim, entes como os quaternions, vetores, matrizes, funções e operadores.

    As estruturas algébricas como anéis, grupos, corpos, espaços vetoriais, álgebras e álgebras linear resumem propriedades comuns das operações entre esses entes abstratos.
  4. Estruturas algébricas são entidades matemáticas altamente abstratas. Elas são constituídas

    por um ou mais conjuntos e uma ou mais operações definidas entre os elementos desses conjuntos satisfazendo um determinado grupo de propriedades.
  5. Por exemplo, números reais, números complexos, matrizes e polinômios são

    álgebras com as operações de adição e multiplicação entre seus elementos. O computador (leia: processador) só vem munido das operações elementares básicas: +, −,×,÷ .
  6. As operações elementares no computador são realizadas através do padrão

    IEEE 754, revisado em 2008. Já vimos, e isso é parte fundamental do aprendizado de Cálculo Numérico, que elas NÃO satisfazem todas as propriedades de uma álgebra.
  7. Função, é um conceito matemático abstrato fundamental, omnipresente na matemática,

    na ciência e na tecnologia. Todas as operações nas Estruturas Algébricas são definidas através de funções!
  8. Sim, nos Cálculos aprende-se a derivar e integrar funções, de

    uma ou mais variáveis. Funções são o objeto de estudo/trabalho do Cálculo Diferencial e Integral.
  9. A medida de tamanho (norma) de um vetor é definida

    através de funções. Lembrem-se há mais de uma forma de medir tamanho de vetor.
  10. A ação de matrizes em vetores é descrita olhando a

    matriz como um operador linear entre espaços vetoriais. O Teorema da decomposição em valores singulares, SVD, interpreta essa ação.
  11. A norma (tamanho) de uma matriz é definida como uma

    medida da deformação máxima causada pela matriz como um operador linear (uma função). Para matrizes, assim como para os vetores, é possível definir mais de uma norma. As NumPy e SciPy fornecem formas de calculá-las.
  12. Neste conjunto de transparências vamos apresentar uma classe de espaços

    vetoriais realmente importantes: os espaços de funções.
  13. Se tudo sobre espaços vetoriais se resumisse ℝ, ℂ e

    ℳ×, o mundo seria pobre. As mais belas instâncias de espaços vetoriais serão apresentados pela Mestra, que se vestiu apropriadamente para mostrá-los!
  14. São os espaços de funções : → ℝ, cujo domínio

    é um conjunto X e a valores reais, anotado ℱ(, ℝ).
  15. Ponto-a-ponto como? Para , ∈ ℱ , ℝ , a

    soma + é a nova função definida por + = + (), para cada ponto ∈
  16. Esse é o caráter dual das funções: são vetores de

    ℱ , ℝ definidos ponto a ponto. Never forget it!
  17. Numericamente, podemos ver a soma e a multiplicação por fator

    de escala através de tabelas, para uns poucos valores de . É preciso olhar linha por linha, isto é, ponto a ponto!
  18. Sim! E em cada linha da tabela, vemos que: (

    + )() = () + () e ( ∙ ) = ∙ ().
  19. Sim Loirinha, você acabou de enunciar o caráter dual das

    funções: vetores calculados em cada ponto do domínio.
  20. Mestre, agora mostre a soma de funções, graficamente. Seu pedido

    é uma ordem! Mostrarei a soma de duas funções , ∈ ℱ( , , ℝ) , com expressões genéricas para e .
  21. Observem o caráter dual: para cada ponto ∈ [−1,1], a

    coordenada y em vermelho é a soma das coordenadas y em azul e verde: + = + (). E fazendo isso para cada ponto ∈ [−1,1] obtemos + .
  22. Aqui o código da parte gráfica. Os gráficos de ,

    , + e do ponto e de seus valores , , + () estão marcados em vermelho. A parte marcada em azul é embelezamento.
  23. Para enfatizar o caráter dual, fiz um outro programa que

    mostra a “evolução” da soma + quando avança sobre o eixo-.
  24. Sim, as imagens mostram o intervalo [0, ] marcado em

    vermelho pelo “slider” e instantâneos de + (em vermelho) sobre o intervalo [0, ], para 3 valores distintos de .
  25. Nas figuras, vemos claramente que + é uma soma de

    segmentos orientados: 0: ( + )() = 0: () + 0: ().
  26. Sim, se ∈ ℱ(, ℝ) e ∈ ℝ o produto

    ∙ é a nova função de ℱ(, ℝ) definida para cada ∈ por ∙ = ∙ Também podemos escalar uma função ∈ ℱ(, ℝ).
  27. O Mestre fez um programa que mostra os gráficos de

    uma função em vermelho e, em azul, a função 2 (a escalada de = 2). = np. sin(np. pi ∗ ) 2.∗ ()
  28. Observem o caráter dual = 2 ∙ : significa que

    para cada ponto ∈ [−1,1], a coordenada y em azul é o dobro da coordenada y em vermelho. = np. sin(np. pi ∗ ) 2.∗ ()
  29. Este é início do programa. Nesta parte pedimos o intervalo

    [a, b], a expressão () da f e o fator de escala L. Então devolvemos os gráficos da f e da escalada ∙ da f.
  30. O Mestre também fez um programa com o “slider”que mostra

    a “evolução” (ao longo do eixo-) da multiplicação por um fator de escala A.
  31. As imagens mostram fotos de A ∙ desenhada, em vermelho,

    nos intervalos [0, ] marcados em vermelho pelo “slider”, para vários valores de
  32. Agora, vemos claramente que A ∙ é um múltiplo do

    segmento orientado: 0: (A ∙ )() = A ∙ 0: ()
  33. O programa que gera o gráfico da multiplicação por fator

    de escala, ponto-a- ponto, com o slider:
  34. Destacaremos os aspectos fundamentais da medição de tamanho de vetores

    “flechinha” e os transportaremos para as funções. Lembre-se das flechinhas, Loirinha!
  35. Como para as flechinhas, Loirinha! O tamanho de qualquer vetor

    de um espaço vetorial será indicado por .
  36. Nenhuma flecha tem tamanho negativo! Tamanho nunca é negativo. Mais

    que isso, se o tamanho de um vetor é zero ele tem que ser o vetor nulo.
  37. A forma matemática de descrever esse fato é: • ≥

    0 • = 0 ⇒ = 0 Em particular para funções (lembre-se, do caráter dual: funções são vetores definidos ponto-a-ponto): • ≥ 0, significa que () ≥ 0, ∀ ∈ , • = 0 ⇒ = 0, significa que = 0, ∀ ∈ .
  38. Escalar uma flecha significa aumentar ou diminuir seu tamanho. O

    tamanho da escalada é o escalado do tamanho! A tradução matemática deste fato é: = ∙ , ∀ ∈ .
  39. Em particular para funções, dizer que = ∙ significa, pura

    e simplesmente, dizer que: () = ∙ , ∀ ∈ . Novamente o caráter dual atacando!
  40. A 3ª propriedade da medição de tamanho das flechinhas tem

    a ver com triângulos. É a famosa desigualdade triangular: + ≤ + , ∀, ∈ .
  41. Lembrem-se, só pode existir um triângulo ABC quando cada lado

    tem tamanho menor que a soma dos tamanhos dos outros dois: ≤ + , (p/. ex.) A B C
  42. Em particular, para funções, dizer que + ≤ + ,

    ∀, ∈ ℱ(, ℝ), significa, pura e simplesmente, dizer que: + () ≤ + , ∀ ∈ . O caráter dual novamente!
  43. Uma função ∙ ∶ → ℝ definida num espaço vetorial

    V é uma norma quando satisfaz: I. ≥ 0 e = 0 ⇒ = 0. II. = - a escala III. + ≤ + - a desigualdade triangular para , ∈ e α ∈ ℝ. Eis a definição abstrata de norma:
  44. Sim colega, elas definem diversas formas de medir tamanho dos

    vetores flechinha. Inclusive aprendemos a calculá-las usando a NumPy. Nos espaços ℝ e ℂ existem diversas normas: 1 , 2 , , ∞ .
  45. Espaços em que é possível definir uma norma são chamados

    espaços normados. Portanto os espaços ℝ e ℂ são exemplos de espaços normados.
  46. Os espaços normados completos são chamados de espaços de Banach.

    Um espaço normado é completo quando toda sequência de Cauchy é convergente (para um vetor do próprio espaço). É o caso dos ℝ e ℂ com qualquer uma das normas.
  47. E como eu posso calcular o tamanho de uma função

    : [, ] → ℝ ? Como nos ℝ e ℂ existem diversas formas de medir o tamanho de uma função.
  48. Aproveitarei tua pergunta, Loirinha, para introduzir um novo espaço vetorial.

    Trata-se de ℬ(, ℝ) o subespaço das funções de ℱ , ℝ que são limitadas.
  49. Lembre-se, Loirinha, uma função de ℱ , ℝ é limitada

    num conjunto quando existe algum número > 0 tal que () < , ∀ ∈ . O caráter dual mais uma vez!
  50. É muito fácil confirmar que ℬ(, ℝ) é um espaço

    vetorial pois: • a soma de funções limitadas é uma função limitada, • o produto de uma função limitada por qualquer número real resulta numa função limitada.
  51. A expressão ∞ = () , ∈ , define uma

    norma no conjunto ℬ(, ℝ) das funções limitadas num conjunto . Assim ℬ(, ℝ) é um espaço vetorial normado. As propriedades I, II e III da definição abstrata de norma são facílimas de provar. Faça isto como exercício, Surfista!
  52. Bem Mestres, respondam a pergunta da Loirinha! Como calcular o

    tamanho de uma função : [, ] → ℝ ? Sim qual será tamanho de = 2cos( ) ?
  53. Bem, Loirinha, depende do conjunto no qual ela está definida.

    Mesmo quando é um intervalo com extremos , ∈ ℝ , poderemos ter = , , , , , e (, ]. Loirinha, essa sua função é limitada qualquer desses tipos de intervalos.
  54. Imaginando que ela está definida no intervalo 0,2 , é

    só calcular o valor máximo de () em [0, 2]. Veja graficamente: E, pelo programa, ∞ = 36,198 …
  55. Atenção para o detalhe neste outro exemplo, Surfista. Já vi,

    Mestre, o valor máximo de () é um ponto de mínimo global da função .
  56. Loirinha, esse é o programa. Ele permite que você escolha

    o domínio e a expressão da função.
  57. Num espaço vetorial normado com uma norma uma bola aberta

    de centro em ∈ e raio > 0 é o conjunto = ∈ . . − <
  58. A − 2 < − 1 < − ∞ <

    Em ℝ2, as bolas abertas centradas em = (, ), nas normas 1 , 2 e ∞ , são os conjuntos desenhados abaixo
  59. Bem, Loirinha, já sabemos que essa bola é o seguinte

    subconjunto de ℬ 0,1 , ℝ : = ∈ ℬ 0,1 , ℝ . . − ∞ < . Como será, Galileu, “a cara” de uma bola aberta (), centrada numa função ∈ ℬ [0,1], ℝ , com essa norma ∞ ?
  60. Pensando no caráter dual, significa impor que − () <

    para variando no intervalo [0,1]. Mestra, para , ∈ ℬ( 0,1 , ℝ) o que significa − ∞ < ?
  61. () Loirinha, fixe um valor de ∈ [0,1] e marque

    o ponto (, ) no plano cartesiano × . Então qualquer valor = () assumido pela em obrigatoriamente terá que satisfazer − () < . Que é um intervalo de raio centrado nesse ponto sobre a reta vertical por . Confira no meu desenho
  62. Escolhi alguns valores de ∈ [0,1] e desenhei os intervalos

    verticais de raio centrados no ponto de coordenadas (x, ) correspondentes: 1 0
  63. É isso mesmo, menina! A bola de raio entorno de

    , , é a faixa desenhada abaixo. É o conjunto de todas as funções limitadas : [0,1] → ℝ situadas a uma distância menor do que da , quando usamos a régua ∞ 1 0 + r − r
  64. Mestra, além da bola redondinha de raio r em ℝ2,

    vimos outras bolas, quadradas. E a pergunta inevitável é: Existirão outras bolas esquisitas nos espaços de funções?
  65. Sim minha pequena! Essa bola/faixa de raio entorno de ,

    , corresponde à bola definida pela norma ∞ em ℝ2. 1 0 + r − r
  66. Aliás, Mestres como posso calcular a norma da soma, 1

    , a 2 e as de uma função ? Soma. Use aquele S longo: න .
  67. Que corresponde a área entre e o eixo-. Claro, com

    a correspondência σ ↔ ׬ , temos 1 = න | |
  68. Atenção! Estamos falando da área entre a função e o

    eixo- e não da função . Observem a diferença:
  69. De forma semelhante, temos 2 = න 2 Que, por

    sua vez, corresponde a área entre 2 e o eixo-.
  70. Agora trata-se da área entre a função 2 e o

    eixo- e não da função . Notem que 2 = ׬ 2
  71. Eis uma pergunta que eu também quero saber a resposta!

    E como eu desenho as bolas de raio centradas numa função : [, ] → ℝ?
  72. Bem, observe primeiro que a bola, na 1 , de

    centro em uma função ∶ [, ] → ℝ e raio é o conjunto de todas as funções integráveis ∶ [, ] → ℝ tais que න − () < É uma imposição sobre o tamanho da área entre a função ℎ = − e o eixo-. Se fosse a função nula estaríamos falando do conjunto de todas as funções integráveis tais que න () < .
  73. Esse conjunto de funções não pode ser desenhado pois a

    condição sobre a área não impõe restrições sobre a forma das funções : [, ] → ℝ. Sim, pensem por exemplo, nas funções ℎ : [0,1] → ℝ definidas por ℎ = ቊ ℎ 0 ≤ ≤ 1/ℎ 0 1/ℎ < ≤ 1 , ℎ > 0. Para todas elas, ℎ 1 = න 0 1 ℎ = 1 < .
  74. ℎ Τ 1 ℎ 1 ℎ Τ 1 ℎ 1

    O mesmo vale para as funções “triângulo” que esbocei abaixo. Todos tem área Τ 1 2 . Sim Mestra, são “retângulos” com altura ℎ e base 1/ℎ. Todos tem área = ℎ × Τ 1 ℎ = 1.
  75. Sim. Além dessas, qualquer função : [, ] → ℝ

    com o gráfico como abaixo também estaria nessa bola, desde que ׬ | | < . Todas elas estariam numa bola de raio > 1 centrada na função nula.
  76. Da mesma forma, bolas na 2 , de centro em

    uma função ∶ [, ] → ℝ não podem ser desenhadas pois − 2 = න − () 2 Uma vez que, novamente, − 2 < é uma imposição sobre a área da função ℎ = − 2 e o eixo-.