91Ó°ÊÓ

A bounded function is one that does not grow towards infinity or negative infinity. This means its values stay within some fixed range, no matter what you plug in for the variables. When we discuss bounded functions with respect to a domain like \( \mathbb{R} \), meaning all real numbers, we focus on functions that have limits to their output. The importance of bounded functions in real analysis is that they help ensure a degree of predictability and regularity about outcome values.

• A function \( f \) is bounded if there exists a real number \( M \) such that \( |f(x)| \leq M \) for all \( x \in \mathbb{R} \).
• Because a bounded function does not fly off to infinity, it often lends itself well to various analytical methods, particularly in the context of defining metrics.
• Boundedness ensures that when employing metrics like the supremum metric, the maximum possible value of the distance can be effectively measured.

Understanding bounded functions is crucial when analyzing subspaces because not all types of functions, like exponential functions, meet this criterion. In the context of this exercise, when looking at functions like polynomials, constant functions, or trigonometric forms like \( a \sin(nt) + b \cos(nt) \), only those fitting the boundedness requirement can form part of \( M(\mathbb{R}) \). This is why functions such as constant functions and trigonometric expressions are considered bounded while general polynomials are not.

In real analysis, a subspace refers to a set that is itself a space and fits within another, larger space. Subspaces have to naturally adhere to certain conditions: they need to be closed under addition and scalar multiplication, which means you can add any two functions from the subspace or multiply them by a scalar, and their result will also be in the same subspace.

• Subspace \( \mathcal{A} \): This includes constant functions. A constant function doesn't change as the input changes over all \( \mathbb{R} \); thus, it is bounded and qualifies as a subspace.
• Subspace \( \mathcal{S} \): Contains functions like \( a \sin(nt) + b \cos(nt)\), a form that naturally does not exceed certain fixed values because sine and cosine functions are inherently bounded between -1 and 1.
• Subspace \( \mathcal{P} \) and \( \mathcal{C} \): Though polynomials (\( \mathcal{P} \)) and continuous functions (\( \mathcal{C} \)) are important, they do not automatically qualify as subspaces of \( M(\mathbb{R}) \) unless they are explicitly bounded, which is generally not the case for polyomials expanding indefinitely, and continuous functions that might grow unbounded.

Subspaces are significant in the study of metric spaces as they help define smaller entities with more easily manageable properties from larger, possibly more complex spaces.

The supremum metric, also known as the uniform metric, is a way to gauge the distance between two functions by considering the largest difference in their outputs over their entire domain. It involves looking at the greatest distance between function values, which can showcase how similar or different two bounded functions are across all arguments \( t \in \mathbb{R} \).

• The supremum metric \( d(f, g) \) is defined as \( \sup \{|f(t) - g(t)| : t \in \mathbb{R}\} \). It measures the largest distance between function values at all points.
• This metric is extremely intuitive: it simply asks, "What is the farthest apart these two functions get?"
• The supremum metric fulfills standard metric properties, such as non-negativity, identity of indiscernibles, symmetry, and the triangle inequality.

In practical situations, the supremum metric becomes a tool for consistency in comparison. It’s like gauging two people's heights by how far apart they stand at their tallest. This metric ensures clarity and uniformity in assessment across different functions, which is essential for analyzing bounded real-valued functions on real numbers.