Formalizing A>>B: How to Define and Use this Inequality in Mathematics?

  • Thread starter Thread starter mnb96
  • Start date Start date
AI Thread Summary
To formalize the inequality A >> B, it is essential to interpret it as A being sufficiently larger than B, though the term alone lacks clarity. This concept is often used in mathematical statements like "if n >> a, then P(n)," indicating that n must exceed a certain threshold for the statement P(n) to hold true. The formalization implies the existence of a specific N such that if n is greater than N + a, then P(n) is valid. However, the exact value of N is not defined, only that it exists. This approach allows for a rigorous understanding of the relationship between A and B in mathematical contexts.
mnb96
Messages
711
Reaction score
5
Hello,
given two real quantities A, B how can I formalize with reasonable rigour A>>B ?
 
Mathematics news on Phys.org
A>>B does not make sense by itself. It can be translated to A is sufficiently larger than B. By itself it does not state what it is sufficient to. Statements using >> are usually on the form "if n >> a, then P(n)", where a is some constant and P(n) is a statement about n. This statement can be translated to "if n is sufficiently larger than a, then P(n)", which means that "there exists an N such that if n > N+a, then P(n)". The N is not specified, the statement only says that such an N exists and P(n) is valid whenever n is larger than that.
 
Last edited:
Suppose ,instead of the usual x,y coordinate system with an I basis vector along the x -axis and a corresponding j basis vector along the y-axis we instead have a different pair of basis vectors ,call them e and f along their respective axes. I have seen that this is an important subject in maths My question is what physical applications does such a model apply to? I am asking here because I have devoted quite a lot of time in the past to understanding convectors and the dual...
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Back
Top