Probamos que toda función f , a valores escalares y definida positiva en un intervalo generalizado de un grupo ordenado , tiene una extensión definida positiva a todo el grupo .
También probamos que si f es continua ( medible ) , entonces toda extensión definida positiva de f es continua ( medible ) .
Extensión de funciones definidas positivas a valores escalares en grupos ordenados Probamos que toda función f , a valores escalares y definida positiva en un intervalo generalizado de un grupo ordenado , tiene una extensión definida positiva a todo el grupo .
También probamos que si f es continua ( medible ) , entonces toda extensión definida positiva de f es continua ( medible ) .