WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Continuous function

Revision #514 → #1116 · back to history

addedContinuous function (informal)ceb9a9379f18
addedDiscontinuous function0afc3748adc1
addedHeight of growing flower (continuous)ce8c02ec48db
addedBank account (discontinuous)fc8b4bf860e9
addedContinuity at a real number via limitsfb37425714df
addedContinuous on open interval024a22562603
addedContinuous on semi-open or closed interval1d808e50e74a
addedDiscontinuity of a partial function6b8e38bc9a13
addedPolynomial functions continuous everywherebf2f9c37e69d
addedContinuity at a point via limitsb7ead4649129
addedContinuity at a point via neighborhoods08c414e5ab9f
addedReal-valued function on integers is continuousd8280f703086
addedContinuity via sequencesbc866546bf21
addedEpsilon–delta continuity570a69d81d5f
addedControl function2ff6739f1700
addedC-continuous at a pointfbcabb4e5d0f
addedContinuity via control functions52fa5e74a59a
addedContinuity via oscillation92c1966fc1e0
addedHyperreal/nonstandard continuity0ce290f153f3
addedRules for continuitya0f928f70edb
addedPolynomials and rational functions continuousdd0b6d670e01
addedSinc function continuous9422f5f44dd0
addedHeaviside step function6e984c9e5cf3
addedSignum function discontinuous at 0f7dd3d173c5e
addedThomae's functionf9d72c32f668
addedDirichlet's function nowhere continuous7ab0404ee622
addedUseful lemma on local sign preservationcd0adada8d90
addedIntermediate value theorem91a9eedddd0e
addedChild's height (IVT illustration)0d0afcffa97f
addedExtreme value theorem2b89d29263e8
addedDifferentiable implies continuous6e7db5aec80e
addedAbsolute value continuous but not differentiable at 0312f4e51cf4f
addedWeierstrass function070015584c90
addedContinuously differentiable / C^k class25b508d383db
addedContinuous functions are integrableac6aa8971240
addedPointwise limit of functions29e1461c6349
addedUniform convergence theorem66952e8bf49c
addedRight-continuous functionb387c0a274c9
addedContinuous iff right- and left-continuous3644a514335f
addedLower semi-continuity51812a6de0c4
addedContinuity between metric spacesf4bc5f8d6a9e
addedContinuity points form a G-delta setf17dd24c93b1
addedLinear operator continuous iff boundedcb7e1efb401e
addedUniform continuity54de1339e2d2
addedUniformly continuous implies continuousc9b24c2e8c18
addedHölder continuity9a97b5362753
addedLipschitz continuityd59c7b29195d
addedContinuity between topological spaces3116b01d5d20
addedEquivalent via closed preimages28326feb912c
addedDiscrete topology makes all maps continuousd4492c505e5b
addedContinuity at a point (topological)e3c49d1d794a
addedContinuous iff continuous at every point7449a398647d
addedFilter characterization of continuity at a point536bfde24186
addedSequentially continuous functionea1d94ff2c5e
addedTheorem: continuity iff sequential continuity (real case)6e81c3048821
addedTheorem: equivalent forms via closure/interior14c8ae21ae07
addedContinuity via filtersd62599faf45a
addedComposition of continuous functionsed0c98779c3f
addedContinuous image of compact is compact167986b59c10
addedContinuous image of connected is connected82c57ea53b82
addedContinuous image of path-connected is path-connected642e60f251f8
addedContinuous image of Lindelöf is Lindelöf644e04d18993
addedContinuous image of separable is separablea1b1fbf21e61
addedIdentity continuous iff coarser2caf37ceaa79
addedOpen map2c086cfaa531
addedHomeomorphismdbf66c435a74
addedContinuous bijection from compact to Hausdorff is homeomorphism68e59d4ad876
addedFinal topologyb657b4c11fc7
addedInitial topology8ce48247e843
addedTopology determined by continuous functions6d64f7c4502a
addedContinuous extension113cec029f9c
addedUniqueness of continuous extension on dense subset9ab3106dab47
addedBlumberg theorem23a36de44b15
addedScott-continuous (order-theoretic continuity)072d54f9157b
addedContinuous functorfb7fbad22cf7
addedContinuity space649e865034db
addedApproximately continuous function69f942367201
addedStepanov–Denjoy theorem89207b655f34