Ponto fixo






Uma função com três pontos fixos


Em matemática, define-se ponto fixo como o ponto que não é alterado por uma aplicação.


Mais precisamente, se f{displaystyle f}f é uma função f:S→S{displaystyle f:mathbb {S} to mathbb {S} }f:{mathbb  {S}}to {mathbb  {S}}, um ponto fixo de f{displaystyle f}f é todo ponto x∗S{displaystyle x^{*}in mathbb {S} }x^{*}in {mathbb  {S}} tal que:


f(x∗)=x∗{displaystyle f(x^{*})=x^{*}}f(x^{*})=x^{*}



Índice






  • 1 Exemplos


  • 2 Pontos fixos atrativos


  • 3 Teoremas que garantem a existência de ponto fixo


  • 4 Métodos numéricos


  • 5 Aplicação





Exemplos |


Toda aplicação linear possui um ponto fixo trivial (o vetor nulo):


T0=0{displaystyle T0=0}T0=0

Toda função polinomial nos números complexos de grau n>1{displaystyle n>1}n>1, possui pontos fixos:




P(x)=x{displaystyle P(x)=x}P(x)=x equivale à equação polinomial:


P(x)−x=0{displaystyle P(x)-x=0}P(x)-x=0 que possui solução pelo teorema fundamental da álgebra.



Pontos fixos atrativos |




A iteração do ponto fixo xn+1 = cos xn com valor inicial x1 = -1.[1]


Considere a seqüência em um espaço métrico X{displaystyle mathbb {X} }{mathbb  {X}}:



  • x0=x0∈X{displaystyle x_{0}=x_{0}in mathbf {X} }x_{0}=x_{0}in {mathbf  {X}}

  • xn+1=f(xn){displaystyle x_{n+1}=f(x_{n})}x_{{n+1}}=f(x_{n})


Suponha ainda que f(x){displaystyle f(x)}f(x) é contínua.


Sabe-se que se a seqüência é convergente, então a continuidade implica que xn{displaystyle x_{n}}x_n convirja para um ponto fixo.



Teoremas que garantem a existência de ponto fixo |


A pergunta que surge é quais são as condições suficientes para que de fato ocorra um ponto fixo. Existem numerosos teoremas em diferentes partes da matemática que garantem que as funções, desde que satisfaçam determinadas condições, têm pelo menos um ponto fixo. Estes estão entre os resultados mais básicos qualitativos disponíveis. Tais teoremas de ponto fixo que se aplicam em geral fornecem informações valiosas.


São exemplos de teoremas de ponto fixo:




  • Teorema do ponto fixo de Banach, para contrações uniformes em espaços métricos completos


  • Teorema do ponto fixo de Brouwer em espaços de dimensão finita: estabelece a existência de pontos fixos baseados em critérios de convexidade


  • Teorema do ponto fixo de Schauder em espaços de Banach: também estabelece a existência de pontos fixos baseados em critérios de convexidade


  • Teorema da contração, para contrações em espaço métricos completos compactos.


  • Teorema do ponto fixo de Kakutani: um teorema de ponto fixo para correspondências que é uma generalização do teorema do ponto fixo de Brouwer. Ele fornece condições suficientes para que uma correspondência (função multivalorada) com valor definido em um subconjunto convexo e compacto de um espaço euclidiano tenha um ponto fixo.



Métodos numéricos |



Ver artigo principal: Iteração de ponto fixo

Um método numérico bastante utilizado para encontrar o zero de uma função f(x){displaystyle f(x)}f(x) consiste em buscar o ponto fixo da aplicação:
g(x)=x−λf(x){displaystyle g(x)=x-lambda f(x)}g(x)=x-lambda f(x)
A técnica consiste em encontrar um valor de λ{displaystyle lambda }lambda para o qual g(x){displaystyle g(x)}g(x) possui um ponto fixo atrativo. O método de Newton é baseado nesta técnica.



Aplicação |


Em muitos campos, equilíbrio ou estabilidade são conceitos fundamentais que podem ser descritos em termos de pontos fixos. Por exemplo, em economia, um equilíbrio de Nash de um jogo é um ponto fixo de correspondência do jogo melhor resposta. Em física, mais precisamente na teoria das transições de fase, linearização perto de um ponto fixo instável levou ao prêmio Nobel de Wilson, com a invenção do grupo de renormalização, e da a explicação matemática do "fenômeno crítico".


O conceito de ponto fixo pode ser usado para definir a convergência de uma função.



  • Portal da matemática



  1. «Confira este exemplo e faça outros com O Monitor». omonitor.io. Consultado em 24 de março de 2016 








Popular posts from this blog

flock() on closed filehandle LOCK_FILE at /usr/bin/apt-mirror

Mangá

Eduardo VII do Reino Unido