Triple
T15977115
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cauchy functional equation |
E387476
|
entity |
| Predicate | specialCaseOf |
P7025
|
FINISHED |
| Object |
Jensen functional equation
The Jensen functional equation is a generalization in functional analysis that characterizes Jensen-convex functions and underlies Jensen’s inequality in convexity theory.
|
E1186523
|
NE FINISHED |
Disambiguation candidates (2 decisions)
The exact options the model was shown at each disambiguation step, with the option it chose highlighted — the evidence behind this triple's disambiguated ids.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Jensen functional equation Context triple: [Cauchy functional equation, specialCaseOf, Jensen functional equation]
-
A.
Cauchy functional equation
The Cauchy functional equation is a fundamental equation in functional analysis and real analysis, typically of the form f(x + y) = f(x) + f(y), whose solutions characterize additive functions and illustrate the contrast between regular (e.g., continuous) and highly pathological behaviors.
-
B.
Jensen inequality
Jensen's inequality is a fundamental result in convex analysis and probability theory that relates the value of a convex (or concave) function of an expectation to the expectation of the function, providing bounds that underlie many other inequalities and convergence results.
-
C.
Denjoy–Young–Saks theorem
The Denjoy–Young–Saks theorem is a result in real analysis that classifies the possible behaviors of the derivative of a real function at almost every point on the real line.
-
D.
Ulam stability
Ulam stability is a concept in the theory of functional equations that studies when approximate solutions imply the existence of exact solutions nearby, forming the basis of what is now called Hyers–Ulam stability.
-
E.
Du Bois-Reymond function
The Du Bois-Reymond function is a classic example of a continuous but nowhere differentiable function, illustrating pathological behavior in real analysis.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Jensen functional equation Target entity description: The Jensen functional equation is a generalization in functional analysis that characterizes Jensen-convex functions and underlies Jensen’s inequality in convexity theory.
-
A.
Cauchy functional equation
The Cauchy functional equation is a fundamental equation in functional analysis and real analysis, typically of the form f(x + y) = f(x) + f(y), whose solutions characterize additive functions and illustrate the contrast between regular (e.g., continuous) and highly pathological behaviors.
-
B.
Jensen inequality
Jensen's inequality is a fundamental result in convex analysis and probability theory that relates the value of a convex (or concave) function of an expectation to the expectation of the function, providing bounds that underlie many other inequalities and convergence results.
-
C.
Denjoy–Young–Saks theorem
The Denjoy–Young–Saks theorem is a result in real analysis that classifies the possible behaviors of the derivative of a real function at almost every point on the real line.
-
D.
Ulam stability
Ulam stability is a concept in the theory of functional equations that studies when approximate solutions imply the existence of exact solutions nearby, forming the basis of what is now called Hyers–Ulam stability.
-
E.
Du Bois-Reymond function
The Du Bois-Reymond function is a classic example of a continuous but nowhere differentiable function, illustrating pathological behavior in real analysis.
- F. None of above. chosen
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d86da94ccc819083d187f5dc6a123e |
elicitation | completed |
| NER | batch_69e157521f6c8190a54023b5ee6fc033 |
ner | completed |
| NED1 | batch_69ffbe8e4124819084c2937f532f5ab5 |
ned_source_triple | completed |
| NED2 | batch_69ffbf745f788190abae3ba723c3a564 |
ned_description | completed |
| NEDg | batch_69ffbf1948708190975024577e58a211 |
nedg | completed |
Created at: April 10, 2026, 4:54 a.m.