Structures · Analysis
HasContDiffBump
A class registering that a real vector space admits bump functions. This will be instantiated
first for inner product spaces, and then for finite-dimensional normed spaces.
We use a specific class instead of Nonempty (ContDiffBumpBase E) for performance reasons.
- Shape
- One type argument · adds out
Extends0
Extends nothing: this is a root of the hierarchy.
Extended by0
Nothing extends this class yet.
Concrete types that are instances0
No instance on a concrete type; it is reached through other classes.
How is a type an instance?
Loading the hierarchy index…
Assumed by50
- ContDiffBump.toFun
- ContDiffBump.normed
- someContDiffBumpBase
- ContDiffBump.support_eq
- ContDiffBump.nonneg
- ContDiffBump.support_normed_eq
- ContDiffBump.le_one
- ContDiffBump.integrable
- ContDiffBump.integral_normed
- ContDiffBump.one_of_mem_closedBall
- ContDiffBump.contDiff
- ContDiffBump.normed_def
- ContDiffBump.nonneg_normed
- ContDiffBump.integral_pos
- ContDiffBump.contDiffAt
- ContDiffBump.nonneg'
- ContDiffBump.measure_closedBall_le_integral
- ContDiffBump.continuous
- ContDiffBump.sub
- ContDiffBump.hasCompactSupport
- ContDiffBump.contDiff_normed
- ContDiffBump.eventuallyEq_one_of_mem_ball
- ContDiffBump.tsupport_eq
- ContDiffAt.contDiffBump
- ContDiff.contDiffBump
- ContDiffBump.tendsto_support_normed_smallSets
- ContDiffBump.toFun.congr_simp
- ContDiffBump.measure_closedBall_div_le_integral
- ContDiffBump.neg
- ContDiffWithinAt.contDiffBump
- ContDiffBump.normed.congr_simp
- ContDiffBump.hasCompactSupport_normed
- ContDiffBump.zero_of_le_dist
- ContDiffBump.tsupport_normed_eq
- ContDiffBump.integral_normed_smul
- ContDiffBump.normed_le_div_measure_closedBall_rOut
- ContDiffBump.instCoeFunForallReal
- someContDiffBumpBase.congr_simp
- ContDiffBump.apply
- ContDiffBump.integrable_normed
- ContDiffBump.pos_of_mem_ball
- ContDiffBump.eventuallyEq_one
- ContDiffBump.convolution_eq_right
- ContDiffBump.integral_le_measure_closedBall
- ContDiffBump.normed_neg
- ContDiffBump.normed_sub
- ContDiffBump.contDiffWithinAt
- ContDiffBump.continuous_normed
- HasContDiffBump.out
- ContDiffBump.normed_le_div_measure_closedBall_rIn
Ancestors0
No ancestors.