Jędrność (ciasność) (ang. tight) – pojęcie teorii miary formalizujące intuicyjną własność zbioru miar, które nie „uciekają do nieskończoności”. Twierdzenie charakteryzujące jędrne rodziny rozkładów nazywane jest twierdzeniem Prochorowa.
Definicja Niech będzie przestrzenią topologiczną, i niech będzie σ-algebrą na zawierającą topologię (czyli każdy podzbiór otwarty w jest mierzalny, może być σ-algebrą borelowską na ). Niech będzie rodziną miar określonych na
Rodzinę nazywa się jędrną (bądź ciasną), jeżeli dla dowolnego istnieje zwarty podzbiór przestrzeni że dla wszystkich miar zachodzi
Często rozpatrywanymi miarami są miary probabilistyczne, wtedy ostatnia część może być równoważnie przedstawiona jako
Przykłady Przestrzenie zwarte Jeżeli jest przestrzenią zwartą, to każda rodzina miar probabilistycznych na jest jędrna.
Rodzina mas punktowych Niech dana będzie prosta rzeczywista z topologią naturalną (euklidesową). Dla niech oznacza miarę Diraca skupioną w Wówczas rodzina
nie jest jędrna, ponieważ zwartymi podzbiorami są te i tylko te, które są domknięte i ograniczone, a każdy taki zbiór, ponieważ jest ograniczony, jest -miary zero dla dostatecznie dużych Z drugiej strony, rodzina