isLimitOf
P9149
predicate
Indicates that one quantity, function, or sequence approaches a particular value as its input or index approaches some specified point or condition.
Observed surface forms (10)
- hasLimitingCase ×3
- hasClassicalLimit ×1
- hasContinuousLimitAt ×1
- hasLimitCase ×1
- isClassicalLimitOf ×1
- isLimitCaseOf ×1
- isLimitIn ×1
- isLowEnergyLimitOf ×1
- limitDefinition ×1
- recoveredAsLimitOf ×1
Sample triples (14)
| Subject | Object |
|---|---|
| Bardeen black hole model | de Sitter spacetime at the center via predicate surface "hasLimitingCase" ⓘ |
| Bekenstein–Hawking entropy | entanglement entropy across a horizon in quantum field theory ⓘ |
| Compton effect | Thomson scattering via predicate surface "hasClassicalLimit" ⓘ |
| Euler equations |
Navier–Stokes equations
via predicate surface "isLimitCaseOf"
ⓘ
surface form:
Navier–Stokes equations with zero viscosity
|
| Fermi constant | W boson exchange interaction via predicate surface "isLowEnergyLimitOf" ⓘ |
| Galilean relativity | special relativity at low velocities via predicate surface "recoveredAsLimitOf" ⓘ |
| Gaussian distribution | central limit theorem via predicate surface "isLimitIn" ⓘ |
| Kerr–Newman black hole | naked singularity when M^2 < a^2 + Q^2 via predicate surface "hasLimitingCase" ⓘ |
| Minkowski space-time | curved space-times in general relativity ⓘ |
| Rayleigh–Jeans law at low frequencies |
Planck radiation law
via predicate surface "isClassicalLimitOf"
ⓘ
surface form:
Planck’s radiation law
|
| Riemann sums | definite integral as limit of Riemann sums via predicate surface "limitDefinition" ⓘ |
| Riemann–Liouville integral | identity operator when α → 0^+ via predicate surface "hasLimitingCase" ⓘ |
| Rényi divergence | α → 1 to KL divergence via predicate surface "hasContinuousLimitAt" ⓘ |
| de Sitter spacetime | Minkowski spacetime for Λ → 0 via predicate surface "hasLimitCase" ⓘ |