Conjunto polar (teoría del potencial)

entidad negligible en la teoría del potencial

En matemáticas, en el área de la teoría del potencial clásico, los conjuntos polares[1]​ son aquellos "conjuntos insignificantes", similar a la forma en que los conjuntos de medida cero son los conjuntos negligibles en la teoría de la medida.

Definición editar

Un conjunto   en   (donde  ) es un conjunto polar si existe una función superarmónica no constante

  en  

tal que

 

Téngase en cuenta que existen otras formas (equivalentes) en las que se pueden definir los conjuntos polares, como reemplazando "subarmónico" por "superarmónico" y   por   en la definición anterior.[1]

Propiedades editar

Las propiedades más importantes de los conjuntos polares son:

  • Un conjunto unitario establecido en   es polar.
  • Un conjunto contable en   es polar.
  • La unión de una colección contable de conjuntos polares es polar.
  • Un conjunto polar tiene medida de Lebesgue cero en  

Casi en todas partes editar

Una propiedad P se cumple casi en todas partes en un conjunto S si se cumple en SE, donde E es un conjunto polar de Borel. Si P se cumple aproximadamente en todas partes, entonces se cumple casi en todas partes.[2]

Véase también editar

Referencias editar

  1. a b Joseph L. Doob (2012). Classical Potential Theory and Its Probabilistic Counterpart. Springer Science & Business Media. pp. 57 de 846. ISBN 9783642565731. Consultado el 27 de noviembre de 2023. 
  2. Ransford (1995) p.56

Bibliografía editar

Enlaces externos editar