Wetzel's problem (original) (raw)
In mathematics, Wetzel's problem concerns bounds on the cardinality of a set of analytic functions that, for each of their arguments, take on few distinct values. It is named after John Wetzel, a mathematician at the University of Illinois at Urbana–Champaign.
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, Wetzel's problem concerns bounds on the cardinality of a set of analytic functions that, for each of their arguments, take on few distinct values. It is named after John Wetzel, a mathematician at the University of Illinois at Urbana–Champaign. Let F be a family of distinct analytic functions on a given domain with the property that, for each x in the domain, the functions in F map x to a countable set of values. In his doctoral dissertation, Wetzel asked whether this assumption implies that F is necessarily itself countable. Paul Erdős in turn learned about the problem at the University of Michigan, likely via Lee Albert Rubel. In his paper on the problem, Erdős credited an anonymous mathematician with the observation that, when each x is mapped to a finite set of values, F is necessarily finite. However, as Erdős showed, the situation for countable sets is more complicated: the answer to Wetzel's question is yes if and only if the continuum hypothesis is false. That is, the existence of an uncountable set of functions that maps each argument x to a countable set of values is equivalent to the nonexistence of an uncountable set of real numbers whose cardinality is less than the cardinality of the set of all real numbers. One direction of this equivalence was also proven independently, but not published, by another UIUC mathematician, Robert Dan Dixon. It follows from the independence of the continuum hypothesis, proved in 1963 by Paul Cohen, that the answer to Wetzel's problem is independent of ZFC set theory.Erdős' proof is so short and elegant that it is considered to be one of the Proofs from THE BOOK. In the case that the continuum hypothesis is false, Erdős asked whether there is a family of analytic functions, with the cardinality of the continuum, such that each complex number has a smaller-than-continuum set of images. As Ashutosh Kumar and Saharon Shelah later proved, both positive and negative answers to this question are consistent. (en) |
| dbo:wikiPageID | 46062204 (xsd:integer) |
| dbo:wikiPageLength | 4561 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1096590441 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Analytic_functions dbr:Paul_Erdős dbr:University_of_Illinois_at_Urbana–Champaign dbr:University_of_Michigan dbr:Countable_set dbr:Analytic_function dbr:Mathematics dbr:Saharon_Shelah dbr:Continuum_hypothesis dbc:Independence_results dbr:Lee_Albert_Rubel dbr:Zermelo–Fraenkel_set_theory dbr:Domain_of_a_function dbr:Cardinality dbr:Paul_Cohen_(mathematician) dbc:Functional_analysis dbr:Proofs_from_THE_BOOK |
| dbp:wikiPageUsesTemplate | dbt:Reflist |
| dct:subject | dbc:Analytic_functions dbc:Independence_results dbc:Functional_analysis |
| rdfs:comment | In mathematics, Wetzel's problem concerns bounds on the cardinality of a set of analytic functions that, for each of their arguments, take on few distinct values. It is named after John Wetzel, a mathematician at the University of Illinois at Urbana–Champaign. (en) |
| rdfs:label | Wetzel's problem (en) |
| owl:sameAs | freebase:Wetzel's problem yago-res:Wetzel's problem wikidata:Wetzel's problem https://global.dbpedia.org/id/2NiZp |
| prov:wasDerivedFrom | wikipedia-en:Wetzel's_problem?oldid=1096590441&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Wetzel's_problem |
| is dbo:wikiPageWikiLink of | dbr:Continuum_hypothesis dbr:Halsey_Royden dbr:Proofs_from_THE_BOOK dbr:List_of_statements_independent_of_ZFC |
| is foaf:primaryTopic of | wikipedia-en:Wetzel's_problem |