91Ó°ÊÓ

A function is considered continuous if small changes to its input result in small changes to its output. In mathematical terms, for a mapping \( T: \mathcal{C}[0,1] \rightarrow \mathbb{R} \), continuity means that for any sequence of functions \( \{f_n\} \) that converges to a function \( f \) within the given metric, the sequence \( \{T(f_n)\} \) should also converge to \( T(f) \).
In this context, the metric \( d(f, g) = \int_{0}^{1}|f(t)-g(t)| dt \) gives us a way to measure how close two continuous functions are. A sequence \( \{f_n\} \) converges to \( f \) when \( \lim_{n \to \infty} d(f_n, f) = 0 \), meaning that the integral of the absolute difference between functions in the sequence and the limit function approaches zero.
This principle of continuity ensures that mathematical models and analyses based on continuous functions are stable and reliable, as small errors in the input do not lead to significant errors in the output.

A metric space is a set where a distance function (or metric) defines the distance between any two elements in the set. This is crucial for understanding function behavior within a defined context or "space." In our case, the space \( \mathcal{C}[0,1] \) consists of all continuous functions on the interval \([0,1]\). The metric \( d(f, g) = \int_{0}^{1}|f(t)-g(t)| dt \) quantifies how much one function differs from another over the interval.
Some characteristics of a valid metric include:

• Non-negativity: \( d(f, g) \geq 0 \) and \( d(f, g) = 0 \) if and only if \( f = g \).
• Symmetry: \( d(f, g) = d(g, f) \).
• Triangle Inequality: \( d(f, h) \leq d(f, g) + d(g, h) \).

The concept of metric spaces allows mathematicians and scientists to formalize and study convergence, continuity, and other important properties through a structured lens. This turns abstract ideas into quantifiable measurements, making it easier to analyze and make predictions on function behavior.

The Dominated Convergence Theorem (DCT) is a powerful tool in analysis that helps justify exchanging limits and integrals, a common requirement in proving function continuity. It states that if a sequence of functions \( \{f_n\} \) converges pointwise to a function \( f \), and is dominated by an integrable function \( g \) such that \(|f_n(t)| \leq g(t)\) for all \( t \) and \( n \), then

• The pointwise limit \( f \) is integrable.
• The integral of the limit function is the limit of the integrals of the functions: \( \int_{0}^{1} f_n(t) \, dt \to \int_{0}^{1} f(t) \, dt \).

In our exercise, the DCT ensures that although we deal with potentially infinite sequences of functions, as long as the conditions of the theorem are satisfied, the transition from sequences \( \{f_n\} \) to the function \( f \) is smooth and reliable. This theorem is fundamental in establishing the continuity of the given functional \( T \), as it validates that small changes in the functions \( f_n \) ultimately lead to small changes in the computed integrals, affirming that \( T \) is indeed continuous in the metric space.