Math 2.0

definition

Concave function

Definition

Let II be an interval and let f ⁣:I→Rf \colon I \to \mathbb{R} be a function. The function ff is concave if f(tx+(1−t)y)≥tf(x)+(1−t)f(y)f(t x + (1 - t) y) \ge t f(x) + (1 - t) f(y) for all x,y∈Ix, y \in I and all t∈[0,1]t \in [0, 1].

Remarks

So ff is concave exactly when −f-f is convex. For example, x\sqrt{x} and ln⁡x\ln x are concave on (0,∞)(0, \infty). Mathlib defines concavity on a set as ConcaveOn.

Explanations

L1 human

A concave function bends downward, like a dome. Each chord of the graph lies on or below the graph.

What this node needs for W2
  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 2 nodes in this order. The foundations come first, and the list ends with this node.

Convex function, definition, no evidence levelConvex functiondefinitionConcave function, definition, no evidence levelConcave functiondefinition
Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Convex function definition
  2. Concave function definition

What depends on this

2 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Concave_function, Definition

What links here

Used by