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:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)