%------------------------------------------------------------------------------ % Young's Inequality (used in Holder's inequality) % % Author: David Lester, Manchester University % % All references are to SK Berberian "Fundamentals of Real Analysis", % Springer, 1991 % % Version 1.0 12/3/10 Initial Version %------------------------------------------------------------------------------
young: THEORY
BEGIN
IMPORTING power@real_expt,
power@log,
power@ln_exp_def % eventually this is part of lnexp_fnd@ln_exp
x,y: VAR real
r: VAR posreal
a,b: VAR nnreal
p,q: VAR {r | r > 1}
c: VAR {r | r < 1}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
