Filtracja

Filtracja – rodzina indeksowana ustalonej struktury (z uporządkowanym liniowo ), w której podstruktury o dalszych (większych) indeksach zawierają te o wcześniejszych (mniejszych). Tego rodzaju filtracje nazywa się niemalejącymi w opozycji do filtracji nierosnących, w których podstruktury o dalszych (większych) indeksach są zawarte w tych o wcześniejszych (mniejszych) indeksach. Ścisłe definicja zależy od kontekstu i dziedziny matematyki, w której pojęcie to jest rozważane; zawsze jednak podstruktury tworzą łańcuch. Niżej omówione zostaną definicje i zastosowania w teorii miary i teorii prawdopodobieństwa, algebrze.