Discussion Overview
The discussion revolves around the use of the sup metric in the context of the space C[0,1]. Participants explore whether stating "consider C[0,1] with the sup metric" implies that the distance d(g,f) refers to the maximum distance (d_infinity) between functions g and f, and whether this allows for simplifying notation in subsequent references to the metric.
Discussion Character
Main Points Raised
- One participant questions if stating "consider C[0,1] with the sup metric" means that d(g,f) should be interpreted as d_infinity throughout the discussion.
- Another participant clarifies that the metric is conventionally denoted by d, and in this context, it refers to the sup metric, which is typically denoted d_infinity.
- A subsequent reply confirms that "d" throughout the question indeed refers to d_infinity when the sup metric is considered.
- Further clarification is provided that any reference to the metric of C[0,1] implies the sup metric, whether denoted as d or otherwise.
Areas of Agreement / Disagreement
Participants generally agree that in the context of C[0,1], the notation d refers to the sup metric, but the discussion does not resolve whether this notation is universally understood or accepted in all contexts.
Contextual Notes
The discussion assumes familiarity with the conventions of metric spaces and does not address potential variations in notation or definitions outside the specified context.
Who May Find This Useful
Readers interested in functional analysis, metric spaces, or notation conventions in mathematical discussions may find this thread relevant.