.
Μέτρο στα μαθηματικά ονομάζεται οποιαδήποτε συνάρτηση \mu:\Sigma\rightarrow[0, +\infty] ορισμένη σε μία Σ-άλγεβρα \Sigma με τις ακόλουθες ιδιότητες:
Αριθμήσιμη προσθετικότητα: Για κάθε αριθμήσιμη συλλογή \{E_i\}_{i\in I} ξένων ανα μεταξύ τους συνόλων
\mu\Bigl(\bigcup_{i \in I} E_i\Bigr) = \sum_{i \in I} \mu(E_i).
Μηδενικό μέτρο στο κενό σύνολο:
\mu(\varnothing)=0.
Συγκεκριμένα ο παραπάνω ορισμός ορίζει ένα μη-αρνητικό μέτρο. Μέτρα με σύνολο τιμών το \( \mathbb{R} ή το \( \mathbb{C} εξετάζονται στην θεωρία ολοκλήρωσης.
Εξωτερικό μέτρο
Έστω ένα σύνολο X, και έστω \mathcal{P}(X) το δυναμοσύνολο του X. Εξωτερικό μέτρο ονομάζεται οποιαδήποτε συνάρτηση \mu:\mathcal{P}(X)\rightarrow[0, +\infty] με τις ακόλουθες ιδιότητες:
\mu(\varnothing) = 0.
Αν A\subseteq B\subseteq X , τότε \mu(A)\leq\mu(B).
Αν \{A_n\} είναι μια ακολουθία υποσυνόλων του Χ, τότε \( \mu\Bigl(\bigcup_n A_n\Bigr) \leq \sum_n\mu(A_n).
Σ-περατότητα
Έστω (X, \Sigma, \mu) ένας μετρήσιμος χώρος, δηλαδή έστω Χ κάποιο σύνολο, Σ μια σ-άλγεβρα και μ ένα μέτρο ορισμένο σε αυτή. Ένα μέτρο είναι σ-περατό αν για κάθε E \in \Sigma , υπάρχει ακολουθία ξένων ανα μεταξύ τους συνόλων {A_n} με \bigcup_n A_n = E τέτοια ώστε κάθε στοιχείο της ακολουθίας να έχει περατό μέτρο, δηλαδή \mu(A_i) < +\infty .
Hellenica World - Scientific Library
Από τη ελληνική Βικιπαίδεια http://el.wikipedia.org . Όλα τα κείμενα είναι διαθέσιμα υπό την GNU Free Documentation License