Real-valued function

Lore & Background

The set of all functions from a set X to real numbers, denoted F(X,R), can be turned into a vector space and a commutative algebra over the reals. Operations include pointwise addition, scalar multiplication, and pointwise multiplication. These operations extend to partial functions, with the restriction that sums and products are defined only where domains intersect. Since R is an ordered set, F(X,R) also carries a partial order defined by f ≤ g if and only if f(x) ≤ g(x) for all x, making it a partially ordered ring. Measurable real-valued functions are those for which the preimage of any Borel set belongs to a given σ-algebra. They form a vector space and an algebra. In probability theory, real-valued functions on a sample space are real-valued random variables. Continuous real-valued functions are important in the study of topological and metric spaces; the extreme value theorem states that a real continuous function on a compact space attains its global maximum and minimum. The concept of a metric space itself is defined with a real-valued function of two variables, the metric. Smooth real-valued functions have the real numbers as codomain and can be defined on real coordinate space, topological vector spaces, open subsets, or smooth manifolds. Spaces of smooth functions are subspaces of continuous functions. In measure theory, a measure is a non-negative real-valued functional on a σ-algebra. Lp spaces are defined from real-valued measurable functions, though they are quotient spaces; for a function in Lp, the value at a point that is not an atom is undefined. Lp spaces retain vector space structure and partial order, and pointwise multiplication maps between certain Lp spaces.

Reader's Guide

Real-valued functions are central to calculus and real analysis, serving as the primary objects of study in these fields. Their algebraic structure—forming vector spaces and commutative algebras—allows for powerful manipulations and the development of function spaces. The ability to define pointwise operations and partial orders makes them versatile in both pure and applied mathematics. In measure theory and probability, real-valued measurable functions underpin the definition of random variables and Lp spaces, which are essential for integration theory and functional analysis. Continuous real-valued functions are key in topology and metric space theory, with the extreme value theorem providing a fundamental result. Smooth functions enable the study of differential geometry and partial differential equations. The concept of real-valued functions also appears in the definition of metrics, monotonic functions, convex functions, harmonic and subharmonic functions, analytic functions, algebraic functions, and polynomials. Their ubiquity across mathematical disciplines underscores their foundational role.

Did You Know?

• The set of all real-valued functions on a set X forms a vector space and a commutative algebra over the reals.
• Real-valued functions can be partially ordered by defining f ≤ g if f(x) ≤ g(x) for all x.
• In probability theory, real-valued functions on a sample space are real-valued random variables.
• The pointwise product of two L2 functions belongs to L1.