Em matemática, mais precisamente na teoria da medida, um átomo é um conjunto mensurável que possui medida positiva e não contém qualquer conjunto "menor" com medida positiva. Uma medida que não possui átomos é chamada de não-atômica.
Definição Dado um espaço mensurável e uma medida sobre tal espaço, um conjunto em é chamado de átomo se
e para qualquer subconjunto mensurável de com
tem-se
Exemplos Considere o conjunto X={1, 2, ..., 9, 10} e a sigma-álgebra definida pelo conjunto potência de X. Defina a medida de um conjunto como sua cardinalidade, isto é, o número de elementos do conjunto. Então, cada um dos conjuntos unitários (com um único elemento) {i}, para i=1,2, ..., 9, 10 é um átomo. Considere a medida de Lebesgue sobre a reta real. Esta medida não possui átomos.
Categoria:Teoria da medida