I was not able to confirm this bug fact, hard to search a math theorem without a name. If anyone knows what this theorem is called and if it is true id be glad to know

  • CompassRed@discuss.tchncs.de
    link
    fedilink
    arrow-up
    8
    ·
    edit-2
    1 year ago

    This is just a continuous extension of the discrete case, which is usually proven in an advanced calculus course. It says that given any finite sequence of non-negative real numbers x,

    lim_n(Sum_i(x_i^n ))^(1/n)=max_i(x_i).

    The proof in this case is simple. Indeed, we know that the limit is always greater than or equal to the max since each term in the sequence is greater or equal to the max. Thus, we only need an upper bound for each term in the sequence that converges to the max as well, and the proof will be completed via the squeeze theorem (sandwich theorem).

    Set M=max_i(x_i) and k=dim(x). Since we know that each x_i is less than M, we have that the term in the limit is always less than (kM^n )^(1/n). The limit of this upper bound is easy to compute since if it exists (which it does by bounded monotonicity), then the limit must be equal to the limit of k^(1/n)M. This new limit is clearly M, since the limit of k^(1/n) is equal to 1. Since we have found an upper bound that converges to max_i(x_i), we have completed the proof.

    Can you extend this proof to the continuous case?

    For fun, prove the related theorem:

    lim_n(Sum_i(x_i^(-n) ))^(-1/n)=min_i(x_i).

    • DumbAceDragon
      link
      fedilink
      English
      arrow-up
      5
      ·
      1 year ago

      Programming is much less math and much more logic. Unless you’re a weirdo using haskell or something.

  • jumping_redditor
    link
    fedilink
    arrow-up
    1
    ·
    edit-2
    1 year ago
    • Intuitively that makes some sense, although would it work if M occured multiple times in [a,b]
    • lte678@feddit.de
      link
      fedilink
      arrow-up
      2
      ·
      1 year ago

      Cool, didn’t think of that one. But it would still work, since you could consider that a constant in front of the f(x) not raised to the nth power (easier to imagine if we have a constant function, then its just (b-a)). The nth root will then normalise it to 1 for any real factor.