Mazur’s lemma

Target entity: Mazur’s lemma
Context triple: [Stanisław Mazur, notableWork, Mazur’s lemma]

• A. Riesz lemma
  Riesz lemma is a fundamental result in functional analysis that characterizes how, in an infinite-dimensional normed space, one can find unit vectors that stay a fixed distance away from any given proper closed subspace.
• B. Banach–Mazur theorem
  The Banach–Mazur theorem is a fundamental result in functional analysis that characterizes separable Banach spaces as isometrically isomorphic to closed subspaces of spaces of continuous functions on compact metric spaces.
• C. Banach–Saks theorem
  The Banach–Saks theorem is a result in functional analysis stating that every bounded sequence in a reflexive Banach space has a subsequence whose Cesàro means converge in norm.
• D. Lax–Milgram theorem
  The Lax–Milgram theorem is a fundamental result in functional analysis that guarantees the existence and uniqueness of solutions to certain linear boundary value problems via bounded, coercive bilinear forms on Hilbert spaces.
• E. Mazur control theorem
  The Mazur control theorem is a fundamental result in Iwasawa theory that relates Selmer groups over infinite p-adic extensions to those over finite layers, allowing arithmetic information to be “controlled” across the tower.
• F. None of above. chosen
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target entity: Mazur’s lemma
Target entity description: Mazur’s lemma is a fundamental result in functional analysis that provides conditions under which weak convergence in Banach spaces implies norm convergence of convex combinations of a sequence.

• A. Riesz lemma
  Riesz lemma is a fundamental result in functional analysis that characterizes how, in an infinite-dimensional normed space, one can find unit vectors that stay a fixed distance away from any given proper closed subspace.
• B. Banach–Mazur theorem
  The Banach–Mazur theorem is a fundamental result in functional analysis that characterizes separable Banach spaces as isometrically isomorphic to closed subspaces of spaces of continuous functions on compact metric spaces.
• C. Banach–Saks theorem
  The Banach–Saks theorem is a result in functional analysis stating that every bounded sequence in a reflexive Banach space has a subsequence whose Cesàro means converge in norm.
• D. Lax–Milgram theorem
  The Lax–Milgram theorem is a fundamental result in functional analysis that guarantees the existence and uniqueness of solutions to certain linear boundary value problems via bounded, coercive bilinear forms on Hilbert spaces.
• E. Mazur control theorem
  The Mazur control theorem is a fundamental result in Iwasawa theory that relates Selmer groups over infinite p-adic extensions to those over finite layers, allowing arithmetic information to be “controlled” across the tower.
• F. None of above. chosen