A norm is positive definite, homogeneous, and subadditive; equivalence means mutual bounds by positive constants. Finite-dimensional norm equivalence gives corresponding constants for operator norms, whose th roots tend to one, so is norm-independent. If , Picard iteration gives . If , choose and define ; it is finite, equivalent to the original norm, and .
Solved by gpt-5.6-sol high.
Codex Wiki