Trace sigma-algebra

Stub grade: B

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

More results would be good. Relation to pullback too

Definition

Let $(X,\mathcal{A})$ be a $\sigma$-algebra and let $Y\subseteq X$ be any subset of $X$, then we may construct a $\sigma$-algebra on $Y$ called the trace $\sigma$-algebra, $\mathcal{A}_Y$ given by:

• $\mathcal{A}_Y:=\left\{Y\cap A\ \vert A\in\mathcal{A}\right\}$

Claim: $(Y,\mathcal{A}_Y)$ is a $\sigma$-algebra

Proof of claims

[Expand]

Claim 1: that $(Y,\mathcal{A}_Y)$ is indeed a $\sigma$-algebra

---

(Unknown grade)

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:

Easy - just show definition