From 28407333ffceca9b99fae721c30e8ae146a863da Mon Sep 17 00:00:00 2001
From: Justin Gassner <justin.gassner@mailbox.org>
Date: Wed, 14 Feb 2024 07:24:38 +0100
Subject: Update

---
 .../measure-theory/signed-measures.md              | 33 ++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100644 pages/measure-and-integration/measure-theory/signed-measures.md

(limited to 'pages/measure-and-integration/measure-theory/signed-measures.md')

diff --git a/pages/measure-and-integration/measure-theory/signed-measures.md b/pages/measure-and-integration/measure-theory/signed-measures.md
new file mode 100644
index 0000000..77b2416
--- /dev/null
+++ b/pages/measure-and-integration/measure-theory/signed-measures.md
@@ -0,0 +1,33 @@
+---
+title: Signed Measures
+parent: Measure Theory
+grand_parent: Measure and Integration
+nav_order: 10
+---
+
+# {{ page.title }}
+
+{% definition Signed Measure %}
+A *signed measure* on a σ-algebra $\mathcal{A}$ on a set $X$
+is a mapping $\mu : \mathcal{A} \to [-\infty,\infty]$ such that
+{: .mb-0 }
+
+- $\mu(\varnothing) = 0$,
+- either there is no $A \in \mathcal{A}$ with $\mu(A) = -\infty$
+  or there is no $A \in \mathcal{A}$ with $\mu(A) = \infty$,
+- for every sequence $(A_n)_{n \in \NN}$ of
+  pairwise disjoint sets $A_n \in \mathcal{A}$
+  {: .my-0 }
+  
+  $$
+  \mu \bigg\lparen \bigcup_{n=1}^{\infty} A_n \! \bigg\rparen
+  = \sum_{n=0}^{\infty} \mu(A_n).
+  $$
+{% enddefinition %}
+
+{% definition Measure Space %}
+A *measure space* is a triple $(X,\mathcal{A},\mu)$ of
+a set $X$,
+a σ-algebra $\mathcal{A}$ on $X$
+and a measure $\mu$ on $\mathcal{A}$.
+{% enddefinition %}
-- 
cgit v1.2.3-54-g00ecf