Toy theorem (original) (raw)
En matematiko, luda teoremo estas simpligita versio de iu pli ĝenerala teoremo. Luda teoremo estas kutime ricevata per iu plisimpligo de supozoj de la fonta teoremo. Kutime, luda teoremo estas uzata al ilustri la plenan teoremo. Povas ankaŭ esti utile studi pruvojn de luda teoremo derivitajn de pruvoj de ne-bagatela teoremo. Ludaj teoremoj povas ankaŭ havas klerigan valoron. Post prezento de la plena teoremo kiu havas alte ne-bagatelan pruvon, oni povas kiel iu montrilo de tio ke la teoremo reale veras, doni pli simplan pruvon de luda versio de la teoremo.
| Property | Value |
|---|---|
| dbo:abstract | En matematiko, luda teoremo estas simpligita versio de iu pli ĝenerala teoremo. Luda teoremo estas kutime ricevata per iu plisimpligo de supozoj de la fonta teoremo. Kutime, luda teoremo estas uzata al ilustri la plenan teoremo. Povas ankaŭ esti utile studi pruvojn de luda teoremo derivitajn de pruvoj de ne-bagatela teoremo. Ludaj teoremoj povas ankaŭ havas klerigan valoron. Post prezento de la plena teoremo kiu havas alte ne-bagatelan pruvon, oni povas kiel iu montrilo de tio ke la teoremo reale veras, doni pli simplan pruvon de luda versio de la teoremo. Ekzemple, luda teoremo de la estas ricevita per konsidero de la okazo. En ĉi tiu okazo, la fiksa punkta teoremo de Brouwer preskaŭ senpere sekvas el la . (eo) In mathematics, a toy theorem is a simplified instance (special case) of a more general theorem, which can be useful in providing a handy representation of the general theorem, or a framework for proving the general theorem. One way of obtaining a toy theorem is by introducing some simplifying assumptions in a theorem. In many cases, a toy theorem is used to illustrate the claim of a theorem, while in other cases, studying the proofs of a toy theorem (derived from a non-trivial theorem) can provide insight that would be hard to obtain otherwise. Toy theorems can also have educational value as well. For example, after presenting a theorem (with, say, a highly non-trivial proof), one can sometimes give some assurance that the theorem really holds, by proving a toy version of the theorem. (en) |
| dbo:wikiPageID | 1458024 (xsd:integer) |
| dbo:wikiPageLength | 1746 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1053404788 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Rolle's_theorem dbr:Toy_model dbr:Mathematics dbr:Mean_value_theorem dbr:Function_(mathematics) dbr:Fundamental_theorem dbr:Corollary dbr:Theorem dbc:Mathematical_theorems dbr:Brouwer_fixed-point_theorem dbr:Lemma_(mathematics) dbr:Mathematical_proof dbc:Mathematical_terminology dbr:Dimension dbr:Special_case dbr:Intermediate_value_theorem |
| dbp:id | 4684 (xsd:integer) |
| dbp:title | toy theorem (en) |
| dbp:wikiPageUsesTemplate | dbt:Short_description dbt:PlanetMath_attribution |
| dcterms:subject | dbc:Mathematical_theorems dbc:Mathematical_terminology |
| gold:hypernym | dbr:Version |
| rdf:type | dbo:Work yago:WikicatMathematicalTheorems yago:Abstraction100002137 yago:Communication100033020 yago:Message106598915 yago:Proposition106750804 yago:Statement106722453 yago:Theorem106752293 |
| rdfs:comment | En matematiko, luda teoremo estas simpligita versio de iu pli ĝenerala teoremo. Luda teoremo estas kutime ricevata per iu plisimpligo de supozoj de la fonta teoremo. Kutime, luda teoremo estas uzata al ilustri la plenan teoremo. Povas ankaŭ esti utile studi pruvojn de luda teoremo derivitajn de pruvoj de ne-bagatela teoremo. Ludaj teoremoj povas ankaŭ havas klerigan valoron. Post prezento de la plena teoremo kiu havas alte ne-bagatelan pruvon, oni povas kiel iu montrilo de tio ke la teoremo reale veras, doni pli simplan pruvon de luda versio de la teoremo. (eo) In mathematics, a toy theorem is a simplified instance (special case) of a more general theorem, which can be useful in providing a handy representation of the general theorem, or a framework for proving the general theorem. One way of obtaining a toy theorem is by introducing some simplifying assumptions in a theorem. In many cases, a toy theorem is used to illustrate the claim of a theorem, while in other cases, studying the proofs of a toy theorem (derived from a non-trivial theorem) can provide insight that would be hard to obtain otherwise. (en) |
| rdfs:label | Luda teoremo (eo) Toy theorem (en) |
| owl:sameAs | freebase:Toy theorem yago-res:Toy theorem wikidata:Toy theorem dbpedia-eo:Toy theorem http://ta.dbpedia.org/resource/டாய்_தேற்றம் https://global.dbpedia.org/id/4wbQ9 |
| prov:wasDerivedFrom | wikipedia-en:Toy_theorem?oldid=1053404788&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Toy_theorem |
| is dbo:wikiPageWikiLink of | dbr:Theorem dbr:List_of_theorems_called_fundamental |
| is foaf:primaryTopic of | wikipedia-en:Toy_theorem |