Formal Definition
Let (X, Σ) and (Y, Τ) be measurable spaces, meaning that X and Y are sets equipped with respective sigma algebras Σ and Τ. A function f: X → Y is said to be measurable if f−1(E) ∈ Σ for every E ∈ Τ. The notion of measurability depends on the sigma algebras Σ and Τ. To emphasize this dependency, if f: X → Y is a measurable function, we will write
-
- f: (X, Σ) → (Y, Τ).
Read more about this topic: Measurable Function
Famous quotes containing the words formal and/or definition:
“The formal Washington dinner party has all the spontaneity of a Japanese imperial funeral.”
—Simon Hoggart (b. 1946)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)