Una de multiplicación semi-norma en un anillo de AA es una función de ||:A→R≥0||:A→R≥0 que es multiplicativa y satisface la semi-norma de condiciones:
|0|=0,|1|=1|fg|=|f||g|,|f+g|≤|f|+|g|.
Quiero ver por qué el conjunto de multiplicación semi-normas en C[x] que amplían el valor absoluto de la norma en C es de la forma f↦|f(x)| algunos x∈C. Se dice aquí que esto se desprende de Gelfand-Mazur del teorema, pero no veo cómo. Alguien puede dar una prueba?