der Grund dafür, dass F keine σ-Algebra ist, ist folgender:
Sei \( A_i \) eine Folge paarweise disjunkter endlicher Teilmengen von N. Jede dieser Teilmengen \( A_i \) gehört definitionsgemäß zu F.
Definitionsgemäß müssen abzählbare Vereinigungen \( \cup_{i \in \mathbb{N}} A_i \) in einer σ-Algebra liegen. Da diese Menge aber definitionsgemäß nicht in F liegt, ist F keine σ-Algebra.
Dieser Grund gilt nur, bzw. ist F nur dann keine σ-Algebra, wenn N nicht endlich ist. Ansonsten gibt es ja keine unendliche Folge paarweise disjunkter Teilmengen von N. Insbesondere ist das Komplement jeder endlichen Teilmenge dann endlich und eine σ-Algebra liegt vor.
MfG
Mister