Zahorski's theorem, proved by Zygmunt Zahorski in 1939 and first published in 1941, is a result of real analysis giving a necessary and sufficient condition for a subset of the real line to be exactly the set of points where some continuous real-valued function fails to be differentiable: such a set must be the union of a G-delta set and a G-delta-sigma set of measure zero. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.
Sources
1. Zahorski's Theorem (Wikipedia)
This result was proved by Zygmunt Zahorski in 1939 and first published in 1941View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.