91Ó°ÊÓ

A quotient space is a mathematical structure that is formed by partitioning a larger space into a set of distinct, non-overlapping subsets, known as equivalence classes. Let's consider a Banach space **X** and a closed linear subspace **Y_0**. In this context, the quotient space, denoted as **X / Y_0**, is defined by taking each element **x** in **X** and forming a coset: **x + Y_0**.

• The elements of the quotient space are these cosets themselves, which represent equivalence classes.
• Formally, two elements **x** and **y** in **X** are considered equivalent if their difference lies in **Y_0**.

This formation of equivalence classes allows us to "collapse" **Y_0** in **X**, focusing on the transformations of **X** that are invariant with respect to **Y_0**. In simpler terms, by grouping and treating sets of elements in **X** that only differ by an element in **Y_0** as one, we reduce the complexity of our analysis without losing essential information. It's a powerful tool in functional analysis, providing insight into the structure and properties of spaces.

A closed linear subspace plays a crucial role within the context of quotient spaces. When we say a subspace **Y_0** is closed in a Banach space **X**, we mean that if a sequence of points within **Y_0** converges to some point within **X**, then that "limit" point also resides in **Y_0**.

• This property ensures stability under limits, which is essential for defining complete spaces.
• Because **Y_0** is linear, it is closed under scalar multiplication and addition, meaning for any elements **y_1, y_2** in **Y_0** and scalar **c**, **cy_1 + y_2** also lies in **Y_0**.

The importance of being closed becomes evident in the formation of the quotient space. Since **X** itself is a Banach space (hence a complete space), the closed nature of **Y_0** ensures that the equivalence relations used to build the quotient space don't "escape" the space **Y_0** was intended to form. This allows the quotient space **X / Y_0** to inherit useful properties from **X**, specifically completeness, being a complete metric space is an invaluable feature in analysis.

The quotient norm is a vital concept when dealing with quotient spaces. It allows us to define a meaningful way of measuring "size" or "distance" in the quotient space **X / Y_0**. In our context, the norm is defined for a coset **x + Y_0** by taking the infimum of the norms of all elements inside that coset:\[\|x + Y_0\| = \inf \{ \|x'\| : x' \in x + Y_0 \}.\]

• This definition ensures that the norm is well-behaved, meaning it respects the properties expected from a norm: positivity, homogeneity, and the triangle inequality.
• Positivity implies that the norm is always non-negative and is zero if and only if the coset is simply **Y_0**.
• Homogeneity means scaling elements in the coset scales the norm by the same factor.
• The triangle inequality relates the norm of the sum of two cosets to the sum of their norms.

The quotient norm's primary function is to make the quotient space **X / Y_0** a metric space, allowing us to talk about convergence and limits, which are essential for demonstrating that **X / Y_0** itself forms a Banach space.