Problem 10 - Applied Abstract Algebra

Question

Let ( \(C[a, b]\), max, min) be the lattice of continuous real-valued functions on a closed interval \([a, b]\) and let \(D[a, b]\) be the set of all differentiable functions on \([a, b]\). Show by example that \(D[a, b]\) is not a sublattice of \(C[a, b]\).

Step-by-Step Solution

Answer

The set of all differentiable functions on a closed interval \(D[a, b]\) is not a sublattice of the continuous real-valued functions on the same interval \(C[a, b]\) because using the max and min operations on elements of \(D[a, b]\) does not always result in a differentiable function.

Step 1: Understand the Definitions

A lattice is a set of elements with a partial order such that any two elements have a unique supremum (the least upper bound of a set of elements) and an infimum (the greatest lower bound of a set of elements). In this case, the supremum would be given by the max operation, and the infimum by the min operation. A sublattice is a subset of a lattice that forms a lattice using the same operations. A differentiable function is a function that has a derivative, meaning it has a defined slope at every point in its domain. A continuous function is a function that does not have any holes or jumps in its graph, meaning the function can be drawn without lifting the pen from the paper.

Step 2: Consider Two Differentiable Functions

Consider two differentiable functions in \(D[a, b]\), for example \(f(x) = x^2\) and \(g(x) = -x^2\). These functions' maxima and minima can be obtained using the operations of maximum and minimum.

Step 3: Find the max and min of These Two Functions

The max (supremum) of these two functions is \(h(x) = max(f(x), g(x)) = max(x^2, -x^2) = x^2\) for all \(x\) in \([a, b]\). The min (infimum) of these two functions is \(i(x) = min(f(x), g(x)) = min(x^2, -x^2) = -x^2\) for all \(x\) in \([a, b]\). Both \(h(x)\) and \(i(x)\) are continuous on \([a, b]\) and thus belong to \(C[a, b]\). However, \(i(x)\) is not differentiable at \(x = 0\) because the derivative \(i'(0)\) does not exist. Thus, \(i(x)\) does not belong to \(D[a, b]\).

Step 4: Analyze Results

Even though the methods of finding maxima and minima generate continuous functions, they do not always generate functions that are differentiable. This specific counterexample shows that \(D[a, b]\) is not closed under the operations of max and min and is therefore not a sublattice of \(C[a, b]\).

Key Concepts

Continuous Functions

A continuous function is a type of function between two mathematical spaces where small changes in the input produce small changes in the output. This concept is essential in real analysis and calculus.

• Continuous functions ensure that there are no abrupt changes or jumps in the graph of the function.
• In practical terms, if you can draw the graph of the function without lifting your pen from the paper, then the function is likely continuous.

For example, in the lattice exercise given, functions like \(f(x) = x^2\) and \(g(x) = -x^2\) are continuous because they do not have breaks or jumps. These functions belong to a larger set of continuous real-valued functions defined over an interval \([a, b]\), denoted as \(C[a, b]\).
The continuity of these functions is crucial when discussing the concept of a lattice because the operations of finding maxima and minima rely on comparing continuous functions to form new functions that are also continuous.

Differentiable Functions

Differentiable functions consist of functions that have a defined derivative at every point in their domain, meaning they have a defined slope everywhere. Differentiability is a stronger condition than continuity.

• If a function is differentiable, it implies that it is also continuous, but a continuous function is not necessarily differentiable.
• A function is said to be differentiable if its graph has a tangent line at every point and there are no sharp corners.

In the context of the exercise, given differentiable functions \(f(x) = x^2\) and \(g(x) = -x^2\), while they themselves are differentiable over \([a, b]\), their minimum, \(i(x) = min(f(x), g(x)) = -x^2\), is only continuous. At \(x = 0\), \(i(x)\) fails to be differentiable because the derivative does not exist, proving that the set of differentiable functions \(D[a, b]\) is not a sublattice of \(C[a, b]\).

Sublattice

In lattice theory, a sublattice is a subset of a lattice that is itself a lattice, under the inherited operations from the parent lattice. It requires that the set be closed under both the supremum (max) and the infimum (min) operations.

• The concept of a sublattice ensures that any two elements from the subset can still form a complete lattice structure when using max and min operations.
• To qualify as a sublattice, every combination through these operations must remain inside the subset.

In the exercise, while the larger set \(C[a, b]\) includes both max and min operations, \(D[a, b]\) fails to meet the sublattice criteria because it is not necessarily closed under these operations.
That means there exist differentiable functions within \(D[a, b]\) whose maxima or minima result in non-differentiable functions, as shown with the example \(i(x) = min(x^2, -x^2) = -x^2\). This highlights why \(D[a, b]\) cannot be considered a sublattice of \(C[a, b]\).