MPM 5605-Geometria: um enfoque via modelos

Lista 1
Prof. Rosa Maria B. Chaves

1. No modelo do plano de Poincaré H, determine:

a) a reta que contém os pontos (2, 1) e (2, 3).
b) a reta que contém os pontos (2, 1) e (4, 3).
c) duas retas que passam por (0, 2) e são paralelas à reta L5,1 (do tipo II).

2. O Plano de Moulton é o conjunto R2 com retas de três tipos:

tipo I: {(x, y) ∈ R2 : x = a}.
tipo II: {(x, y) ∈ R2 : y = mx + b}, com m < 0.
tipo III: {(x, y) ∈ R2 : y = 2mx + b, se x < 0 e y = mx + b, se x ≥ 0}, com m > 0.
Faça um desenho das retas deste modelo e prove que este é um modelo de geometria
de incidência.

3. O Plano Rasgado é o conjunto = {(x, y) ∈ R2 /x < 0 ou x ≥ 1} e suas retas são da

forma LP R = {(x, y) ∈ PR/ax + by = c}, onde a, b, c ∈ R e (a, b) 6= (0, 0). Faça um
desenho do Plano Rasgado e prove que {PR, LP R } é um modelo de geometria de
incidência.

4. Sejam dados um conjunto de pontos P = {A, B, C, D, E} e um conjunto de retas

L = {{A, B}, {A, C}, {A, D}, {A, E}, {B, C}, {B, D}, {B, E}, {C, D}, {C, E}, {D, E}}.
Mostre que:
a) {P, L} é um modelo finito de geometria de incidência plana.
b) Em uma geometria de incidência plana a relação de paralelismo entre retas não
satisfaz, necessariamente, a propriedade transitiva, isto é: r//s e s//t então r//t.

5. Construa, se possı́vel, modelos de geometrias finitas (planas) em que sejam válidos

os axiomas de incidência e que tenham:
a) 4 pontos e 6 retas, cada uma com 2 pontos.
b) 6 pontos e cada reta com 3 pontos.
c) 6 pontos e cada reta com 4 pontos.

6. Usando apenas os axiomas de incidência, prove que numa geometria de incidência

existem pelo menos três retas não concorrentes num mesmo ponto.