Está en la página 1de 3

Teorema de Tolomeo y ángulos semiinscritos.

Luis Adrián López Cervantes

Universidad Nacional Áutonoma de México

11 de octubre de 2021

Luis Adrián López Cervantes (Universidad Nacional


TeoremaÁutonoma
de Tolomeo
de México
y ángulos
) semiinscritos. 11 de octubre de 2021 1/1
Simetrizaciones.
Motivación:

Dada una función de valor real en un dominio, podemos construir una


función asociada definida en la bola centrada en el origen y de la misma
medida de Ω, teniendo el mismo rango de valores y con propiedades
especiales.
Primero necesitamos algo de notación
Notación 1.
Dado un subconjunto medible (Lebesgue) E ⊂ RN denotamos su medida
N dimensional por |E |.

Definiciones
Sea f : X → R una función real valuada definida sobre un conjunto X. Un
número real a es llamado una cota superior de f si f (x) ≤ a, es decir,
∀x ∈ X el conjunto f −1 (a, ∞) = {x ∈ X : f (x) > a} = ∅ .
Sea Uf = {a ∈ R : f −1 (a, ∞)} = ∅ el conjunto de cotas superiores. El
supremo de f se define como supf = infUf
Luis Adrián López Cervantes (Universidad Nacional
TeoremaÁutonoma
de Tolomeo
de México
y ángulos
) semiinscritos. 11 de octubre de 2021 2/1
Definición.
Sea (X , Σ, µ) un espacio de medida y por simplicidad supongamos que f
es medible. Un número a es una cota superior esencial de f, si el
conjunto medible f −1 (a, ∞) es un conjunto de medida de cero, i.e.,
f (x) ≤ a para casi todo x ∈ X .
Sea Ufess = {a ∈ R : µ(f −1 (a, ∞)) = 0} el conjunto de cotas superiores
esenciales entonces el supremo esencial se define similarmente :
esssupf = infUfess

Luis Adrián López Cervantes (Universidad Nacional


TeoremaÁutonoma
de Tolomeo
de México
y ángulos
) semiinscritos. 11 de octubre de 2021 3/1

También podría gustarte