Question
Download Solution PDFLet πΆ[0,1] denote the set of all real valued continuous functions defined on [0,1] and βπβ∞ = sup{|π(π₯)| βΆ π₯ ∈ [0,1]} for all π ∈ πΆ[0,1]. Let
π = { π ∈ πΆ[0,1] βΆ π(0) = π(1) = 0 }.
Define πΉ βΆ (πΆ[0,1], β⋅β∞) → β by πΉ(π) = \(\rm \int_0^1f(t)dt\) for all π ∈ πΆ[0,1].
Denote ππ = {π ∈ π βΆ βπβ∞ = 1}.
Then the set {π ∈ π βΆ πΉ(π) = βπΉβ} ∩ ππ has
Answer (Detailed Solution Below)
Detailed Solution
Download Solution PDFGiven -
Let πΆ[0,1] denote the set of all real valued continuous functions defined on [0,1] and βπβ∞ = sup{|π(π₯)| βΆ π₯ ∈ [0,1]} for all π ∈ πΆ[0,1].
Let π = { π ∈ πΆ[0,1] βΆ π(0) = π(1) = 0 }.
Define πΉ βΆ (πΆ[0,1], βπβ∞) → β by πΉ(π) = \(\rm \int_0^1f(t)dt\) for all π ∈ πΆ[0,1].
Denote πX = {π ∈ π βΆ βπβ∞ = 1}.
Explanation -
The aim is to find the functions that satisfy the condition {π ∈ π : πΉ(π) = βπΉβ}.
Given βπΉβ is the supremum of |πΉ(π)| over all π ∈ πΆ[0,1] with βπβ∞ ≤ 1.
And also that the value of an integral is generally understood to be a "sum" of the values of π over the interval [0,1].
Since π(0) = π(1) = 0, any such βπβ∞ ≤ 1 that has a chance of maximizing |πΉ(π)| would generally need to have positive and negative values on [0,1].
Otherwise, the integral could likely be increased by "stretching" βπβ∞ .
But this will contradict πX = {π ∈ π : βπβ∞ = 1}.
A function in π that meets the norm condition (i.e., is in πX) would have |π(π‘)| ≤ 1 for each π‘ ∈ [0,1].
Moreover, no such function can be "stretched" to have a larger value of |πΉ(π)|.
Hence, it would seem that no function in πX can satisfy βπΉβ.
Therefore, it seems no element in SX can satisfy πΉ(π) = βπΉβ.
Therefore, the set {π ∈ π βΆ πΉ(π) = βπΉβ} ∩ πX contains no elements.
Hence option (1) is correct.