Reta real estendida projetivamente

A reta real estendida projetivamente pode ser visualizada como a reta numérica real enrolada em torno de um círculo (por alguma forma de projeção estereográfica) com um ponto no infinito.

Na análise real, a reta real estendida projetivamente (também chamada de compactificação com um ponto da reta real), é a extensão da reta numérica por um ponto indicado Predefinição:Math. É, portanto, o conjunto $ℝ\cup \{\mathrm{\infty }\}$ (em que $ℝ$ é o conjunto dos números reais) com as operações aritméticas usuais estendidas estendido sempre que possível, e às vezes denotado por $\widehat{ℝ}.$ O ponto adicionado é chamado de ponto no infinito, porque ele é considerado como um vizinho de ambas as extremidades da reta real. Mais precisamente, o ponto no infinito é o limite de toda sequência de números reais cujos valores absolutos são crescentes e ilimitados.

A reta real estendida projetivamente pode ser identificada com a reta projetiva sobre os reais em que foram atribuídos valores específicos três pontos (e.g. Predefinição:Math, Predefinição:Math e Predefinição:Math). A reta real estendida projetivamente não deve ser confundida com a reta numérica real estendida, em que Predefinição:Math e Predefinição:Math são distintos.

Divisão por zero

Ao contrário da maioria dos modelos matemáticos do conceito intuitivo de "número", esta estrutura permite a divisão por zero:

$$\frac{a}{0}=\mathrm{\infty }$$

para a diferente de zero. Em particular Predefinição:Math, e, além disso, Predefinição:Math, fazendo da recíproca, Predefinição:Math, uma função total nesta estrutura. A estrutura, no entanto, não é um corpo, e nenhuma das operações aritméticas binárias são totais, como pode ser comprovado por exemplo, observando que Predefinição:Math é indefinido, apesar da função recíproca ser total. No entanto, ela tem interpretações utilizáveis – por exemplo, em geometria, uma reta vertical tem inclinação infinita.

Extensões da reta real

A reta real estendida projetivamente estende o corpo dos números reais , da mesma forma que a esfera de Riemann estende o corpo dos números complexos, pela adição de um único ponto chamado convencionalmente de $\mathrm{\infty }.$

Em contraste, a reta numérica real estendida (também chamada compactificação de dois pontos da reta real) distingue entre $+\mathrm{\infty }$ e $-\mathrm{\infty }.$

Ordem

A relação de ordem não pode ser estendida para $\widehat{ℝ}$ de uma forma significativa. Dado um número $a\ne \mathrm{\infty },$ não há argumentos convincentes para definir que $a>\mathrm{\infty }$ nem que $a<\mathrm{\infty }.$ Como $\mathrm{\infty }$ não pode ser comparado com nenhum dos outros elementos, não faz sentido manter esta relação em $\widehat{ℝ}.$ . No entanto, a ordem em $ℝ$ é usada em definições de $\widehat{ℝ}.$

Geometria

Fundamental para a ideia de que ∞ é um ponto como qualquer outro é a forma como a reta real projetiva é um espaço homogêneo, de fato homeomorfo a um círculo. Por exemplo, o grupo linear geral das matrizes 2×2 invertíveis tem uma ação transitiva sobre ele. A ação de grupo pode ser expressa através de transformações de Möbius, (também chamadas de transformações fracionárias lineares), com o entendimento de que quando o denominador da transformação fracionária linear é 0, a imagem é ∞.

A análise detalhada da ação mostra que, para quaisquer três pontos distintos P, Q e R, existe uma transformação fracionária linear levando P a 0, Q a 1, e R a ∞, isto é, o grupo das transformações fracionárias lineares é triplamente transitivo sobre a reta real projetiva. Isso não pode ser estendido para quádruplas, pois a razão cruzada é invariante.

A terminologia reta projetiva é apropriada, pois os pontos estão em uma correspondência biunívoca com os subespaços vetoriais unidimensionais de ${ℝ}^2.$

Operações aritméticas

Motivação para operações aritméticas

As operações aritméticas neste espaço são uma extensão das mesmas operações sobre os reais. Uma motivação para as novas definições vem dos limites de funções de uma variável real.

Operações aritméticas que são definidas

Além das operações usuais do subconjunto $ℝ$ de $\widehat{ℝ},$ as seguintes operações são definidas para $a\in \widehat{ℝ},$ com as exceções indicadas:

$$\begin{array}{ccc}a+\mathrm{\infty }=\mathrm{\infty }+a& =\mathrm{\infty },& a\ne \mathrm{\infty }\\ a-\mathrm{\infty }=\mathrm{\infty }-a& =\mathrm{\infty },& a\ne \mathrm{\infty }\\ a/\mathrm{\infty }=a\cdot 0=0\cdot a& =0,& a\ne \mathrm{\infty }\\ \mathrm{\infty }/a& =\mathrm{\infty },& a\ne \mathrm{\infty }\\ a/0=a\cdot \mathrm{\infty }=\mathrm{\infty }\cdot a& =\mathrm{\infty },& a\ne 0\\ 0/a& =0,& a\ne 0\end{array}$$

Operações aritméticas que permanecem indefinidas

As expressões a seguir não podem ser motivadas pela consideração de limites de funções reais, e nenhuma definição das mesmas permite que a formulação das propriedades algébricas usuais seja mantida inalterada em sua forma para todos os casos definidos.Predefinição:Efn Consequentemente, eles são mantidos indefinidos:

$$\begin{array}{cc}& \mathrm{\infty }-\mathrm{\infty }\\ & \mathrm{\infty }\cdot 0\\ & 0\cdot \mathrm{\infty }\\ & \mathrm{\infty }/\mathrm{\infty }\\ & 0/0\end{array}$$

Propriedades algébricas

As seguintes igualdades significam: ou ambos os lados são indefinidos, ou ambos os lados são definidos e iguais. Isso é verdadeiro para quaisquer $a,b,c\in \widehat{ℝ}.$

$$\begin{array}{cc}(a+b)+c& =a+(b+c)\\ a+b& =b+a\\ (a\cdot b)\cdot c& =a\cdot (b\cdot c)\\ a\cdot b& =b\cdot a\\ a\cdot \mathrm{\infty }& =\frac{a}{0}\\ \end{array}$$

As seguintes propriedades são verdadeiras sempre que o lado direito estiver definido, para quaisquer $a,b,c\in \widehat{ℝ}.$

$$\begin{array}{cc}a\cdot (b+c)& =a\cdot b+a\cdot c\\ a& =(\frac{a}{b})\cdot b& =& \frac{(a\cdot b)}{b}\\ a& =(a+b)-b& =& (a-b)+b\end{array}$$

Em geral, todas as leis da aritmética que são válidas para $ℝ$ também são válidas para $\widehat{ℝ}$ sempre que todas as expressões presentes estiverem definidas.

Intervalos e topologia

O conceito de intervalo pode ser estendido para $\widehat{ℝ}.$ No entanto, como ele não é um conjunto ordenado, o intervalo tem um significado um pouco diferente. As definições para  os intervalos fechados são as seguintes (presume-se que $a,b\in ℝ,a<b$):

$$\begin{array}{cc}[a,b]& =\{x\mid x\in ℝ,a\le x\le b\}\\ [a,\mathrm{\infty }]& =\{x\mid x\in ℝ,a\le x\}\cup \{\mathrm{\infty }\}\\ [b,a]& =\{x\mid x\in ℝ,b\le x\}\cup \{\mathrm{\infty }\}\cup \{x\mid x\in ℝ,x\le a\}\\ [\mathrm{\infty },a]& =\{\mathrm{\infty }\}\cup \{x\mid x\in ℝ,x\le a\}\\ [a,a]& =\{a\}\\ [\mathrm{\infty },\mathrm{\infty }]& =\{\mathrm{\infty }\}\end{array}$$

Com a exceção de quando os pontos são iguais, os intervalos abertos e semiabertos correspondentes são definidos removendo as respectivas extremidades.

$\widehat{ℝ}$ quanto o conjunto vazio são intervalos, e o mesmo se aplica a qualquer conjunto formado pela exclusão de um único ponto de $\widehat{ℝ}.$ Predefinição:Efn

O uso dos intervalos abertos como base define uma topologia em $\widehat{ℝ}.$ Para obter uma base é suficiente considerar os intervalos abertos em $ℝ,$ de comprimento finito, e os intervalos$(b,a)=\{x\mid x\in ℝ,b<x\}\cup \{\mathrm{\infty }\}\cup \{x\mid x\in ℝ,x<a\}$ para quaisquer $a,b\in ℝ$ tais que $a<b.$

Como foi dito, a topologia é homeomorfa a um círculo. Assim, ele é metrizável correspondente (para um dado homeomorfismo) à métrica ordinária neste círculo (seja ela a medição em linha reta ou ao longo do círculo). Não há nenhuma métrica que seja uma extensão da métrica ordinária sobre $ℝ.$

Aritmética de intervalos

A aritmética de intervalos estende-se a $\widehat{ℝ}$ a partir de $ℝ.$ O resultado de uma operação aritmética nos intervalos é sempre um intervalo, exceto quando os intervalos com uma operação binária contêm valores incompatíveis, levando a um resultado indefinido.Predefinição:Efn Em particular, tem-se, para cada $a,b\in \widehat{ℝ}:$

$$x\in [a,b]⟺\frac{1}{x}\in [\frac{1}{b},\frac{1}{a}],$$

independentemente de qualquer dos intervalos incluir ou não $0$ e $\mathrm{\infty }.$

Cálculo

As ferramentas de cálculo podem ser usadas para analisar funções de $\widehat{ℝ}.$ As definições são motivadas pela topologia deste espaço.

Vizinhanças

Sejam $x\in \widehat{ℝ},A\subseteq \widehat{ℝ}.$

• A é uma vizinhança de x se, e somente se, A contém um intervalo aberto B e $x\in B.$
• A é uma vizinhança à direita de x se, e somente se, existe $y\in \widehat{ℝ}\setminus \{x\}$ de tal forma que A contém $[x,y).$
• A é uma vizinhança à esquerda de x se, e somente se, existe $y\in \widehat{ℝ}\setminus \{x\}$ de tal forma que A contém $(y,x].$
• A é uma vizinhança perfurada (à direita, à esquerda) de x se, e somente se, existe $B\subseteq \widehat{ℝ}$ tal que B é uma vizinhança (à direita, à esquerda) de x, e $A=B\setminus \{x\}.$

Limites

Definições básicas de limites

Sejam $f:\widehat{ℝ}\to \widehat{ℝ},p\in \widehat{ℝ},L\in \widehat{ℝ}.$

O limite de f(x) quando x tende a p é L, denotado por

$$\underset{x\to p}{\lim }f(x)=L$$

se, e somente se, para cada vizinhança A de L, existe uma vizinhança perfurada B de p, tal que $x\in B$ implica $f(x)\in A.$

O limite lateral de f(x) quando x tende a p pela direita (esquerda) é L, denotado por

$$\underset{x\to p^{+}}{\lim }f(x)=L$$    $(\underset{x\to p^{-}}{\lim }f(x)=L)$

se, e somente se, para cada vizinhança A de L, existe uma vizinhança perfurada à direita (à esquerda) B de p, tal que $x\in B$ implica $f(x)\in A.$

Pode ser mostrado que $\underset{x\to p}{\lim }f(x)=L$ se, e somente se, $\underset{x\to p^{+}}{\lim }f(x)=L$ e $\underset{x\to p^{-}}{\lim }f(x)=L.$

Comparação com os limites em $ℝ$

As definições dadas acima podem ser comparadas com as definições usuais de limites de funções reais. Nas afirmações a seguir, $p,L\in ℝ,$ o primeiro limite é como definido acima, e o segundo limite é no sentido habitual:

• $\underset{x\to p}{\lim }f(x)=L$ é equivalente a $\underset{x\to p}{\lim }f(x)=L.$
• $\underset{x\to {\mathrm{\infty }}^{+}}{\lim }f(x)=L$ é equivalente a$\underset{x\to -\mathrm{\infty }}{\lim }f(x)=L.$
• $\underset{x\to {\mathrm{\infty }}^{-}}{\lim }f(x)=L$ é equivalente a$\underset{x\to +\mathrm{\infty }}{\lim }f(x)=L.$
• $\underset{x\to p}{\lim }f(x)=\mathrm{\infty }$ é equivalente a $\underset{x\to p}{\lim }|f(x)|=+\mathrm{\infty }.$
• $\underset{x\to {\mathrm{\infty }}^{+}}{\lim }f(x)=\mathrm{\infty }$ é equivalente a $\underset{x\to -\mathrm{\infty }}{\lim }|f(x)|=+\mathrm{\infty }.$
• $\underset{x\to {\mathrm{\infty }}^{-}}{\lim }f(x)=\mathrm{\infty }$ é equivalente a $\underset{x\to +\mathrm{\infty }}{\lim }|f(x)|=+\mathrm{\infty }.$

Definição estendida de limites

Seja $A\subseteq \widehat{ℝ}.$ Então p é um ponto-limite de A se, e somente se, toda vizinhança de p inclui um ponto $y\in A$ tal que $y\ne p.$

Sejam $f:\widehat{ℝ}\to \widehat{ℝ},A\subseteq \widehat{ℝ},L\in \widehat{ℝ},p\in \widehat{ℝ},$ p um ponto-limite de A. O limite de f(x) quando x tende a p por A é L, se, e somente se, para cada vizinhança B de L, existe uma vizinhança perfurada C de p, tal que $x\in A\cap C$ implica $f(x)\in B.$

Isso corresponde à definição topológica usual de continuidade, aplicada à topologia de subespaço em $A\cup \{p\},$ e a restrição de f a $A\cup \{p\}.$

Continuidade

Sejam

$$f:\widehat{ℝ}\to \widehat{ℝ},p\in \widehat{ℝ}.$$

A função f é contínua em p se, e somente se, f é definida em p e:

$$\underset{x\to p}{\lim }f(x)=f(p).$$

Seja

$$f:\widehat{ℝ}\to \widehat{ℝ},A\subseteq \widehat{ℝ}.$$

A função f é contínua em A se, e somente se, para cada $p\in A,$ f é definida em p e o limite de f(x) quando x tende a p por A é f(p).

Uma característica interessante é que toda função racional P(x)/Q(x), em que P(x) e Q(não possuem fatores comuns, é contínua em $\widehat{ℝ}.$ Além disso, se tan é estendida, de forma que

$$\tan (\frac{\pi }{2}+n\pi )=\mathrm{\infty }\text{ for }n\in \mathbb{Z},$$

então, tan é contínua em $ℝ.$ No entanto, muitas funções elementares, tais como as funções trigonométricas e exponenciais, são descontínuas no $\mathrm{\infty }.$ Por exemplo, o seno é contínuo em $ℝ$ mas descontínuo, em $\mathrm{\infty }.$

Assim, 1/x é contínua em $\widehat{ℝ}$ mas não na reta numérica real estendida $\overline{ℝ}.$ Por outro lado, a função arctan pode ser estendida continuamente em $\overline{ℝ},$ mas não em $\widehat{ℝ}.$

Como uma variedade projetiva

Quando a reta real projetiva é considerada no contexto do plano projetivo real, então as consequências do Teorema de Desargues são implícitas. Em particular, a construção da relação de conjugado harmônico projetivo entre os pontos é parte da estrutura da reta projetiva real projetiva. Por exemplo, dado qualquer par de pontos, o ponto no infinito é o conjugado harmônico projetivo de seu ponto médio.

Como as projetividades preservam a relação harmônica, elas formam os automorfismos da reta projetiva real. As projetividades são descritas algebricamente como homografias, uma vez que os números reais formam um anel, de acordo com a construção geral de uma reta projetiva sobre um anel. Coletivamente, elas formam o grupo PGL(2,R).

As projetividades que são suas próprias inversas são chamadas de involuções. Uma involução hiperbólica tem dois pontos fixos. Dois destes correspondem às operações aritméticas elementares sobre a reta projetiva real: a negação e os recíprocos. De fato, 0 e ∞ são fixados pela negação, enquanto que 1 e −1 são fixados pelos recíprocos.

Ver também

• Plano projetivo complexo
• Ponto no infinito

Ligações externas

• Números Reais Estendidos Projetivamente -- A Partir de Mathworld