regularityAssumption
P90303
predicate
Indicates that a relationship or process is assumed to behave in a consistent, well-behaved manner (e.g., continuity, smoothness, or stability) so that certain analyses or inferences are valid.
Observed surface forms (3)
| Surface form | Occurrences |
|---|---|
| requiresConditionForRegularity | 5 |
| requiresFunctionSmoothness | 1 |
| smoothnessRequirement | 1 |
Sample triples (8)
| Subject | Object |
|---|---|
| Cauchy–Riemann equations | continuity of first partial derivatives ⓘ |
| Simpson's rule | f has continuous fourth derivative on [a,b] for standard error bound via predicate surface "requiresFunctionSmoothness" ⓘ |
| Cauchy functional equation | continuity at one point via predicate surface "requiresConditionForRegularity" ⓘ |
| Cauchy functional equation | boundedness on an interval via predicate surface "requiresConditionForRegularity" ⓘ |
| Cauchy functional equation | measurability via predicate surface "requiresConditionForRegularity" ⓘ |
| Cauchy functional equation | local boundedness via predicate surface "requiresConditionForRegularity" ⓘ |
| Cauchy functional equation | monotonicity via predicate surface "requiresConditionForRegularity" ⓘ |
| shape operator | defined for sufficiently smooth (at least C^2) hypersurfaces via predicate surface "smoothnessRequirement" ⓘ |