Proof, strong triangle inequality

Click For Summary
SUMMARY

The discussion centers on the proof of the strong triangle inequality in non-archimedean norms on a field K. It establishes that if there exists a constant C > 0 such that for all integers n, the inequality |n.1| ≤ C holds, then the strong triangle inequality |x + y| ≤ max(|x|, |y|) is valid. The proof involves the use of binomial coefficients and limits, demonstrating that the limit of the n-th root of a constant approaches 1 as n approaches infinity. Key points of confusion include the assumptions regarding the binomial coefficient and the implications of non-archimedeanness.

PREREQUISITES
  • Understanding of norms in mathematical fields
  • Familiarity with binomial coefficients and their properties
  • Knowledge of limits and their application in proofs
  • Basic concepts of non-archimedean fields
NEXT STEPS
  • Study the properties of non-archimedean norms in detail
  • Explore the implications of the strong triangle inequality in various mathematical contexts
  • Learn about the behavior of binomial coefficients in normed spaces
  • Investigate the concept of limits and their role in mathematical proofs
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in advanced topics in normed spaces and inequalities will benefit from this discussion.

frb
Messages
16
Reaction score
0
can someone explain this proof please, I added a star to the inequalities I don't see/understand.

if | | is a norm on a field K and if there is a C > 0 so that for all integers n |n.1| is smaller than or equal to C, the norm is non archimedean (ie the strong triangle inequality is true)

proof: if x and y in K

[tex]\[<br /> \begin{array}{l}<br /> |x + y|^n \le \sum\limits_{k = 0}^n {|\frac{{n!}}{{k!(n - k)!}}} x^k y^{n - k} | \le *(n + 1).C.\max \left( {|x|,|y|} \right)^n \\ <br /> |x + y| \le *\mathop {\lim }\limits_{n \to \infty } \left[ {(n + 1)C.\max \left( {|x|,|y|} \right)^n } \right]^{1/n} * = \max \left( {|x|,|y|} \right) \\ <br /> \end{array}<br /> \][/tex]

I understand everything except the parts I marked with a *
 
Last edited:
Physics news on Phys.org
The first * seems to assume that the binomial coefficient is less than C in norm, though I don't claim to be able to explain that right now, and is the only thing to do with non-rchmideanness. The second * is just taking roots in the first line. And the third * is just taking the limit. The last is standard - the n'th root of a constant tends to 1 as n tends to infinity, as does the n'th root of n+1.
 
thank you very much
 
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
3K
Replies
8
Views
2K