Matematická struktura je množina spolu s dodatečnou informací, například algebraickými operacemi, relacemi apod.Matematické struktury jsou zaváděny proto, aby bylo možno dokazovat matematická tvrzení pro mnoho různých objektů najednou. Například dokáže-li se nějaké tvrzení pro každý lineární prostor, není již nutné jej dokazovat zvlášť pro vektory v rovině, zvlášť pro prostor všech funkcí apod., protože každá z těchto množin tvoří lineární prostor.
Property | Value |
prop-cs:wikiPageUsesTemplate
| |
dbpedia-owl:abstract
|
- Matematická struktura je množina spolu s dodatečnou informací, například algebraickými operacemi, relacemi apod.Matematické struktury jsou zaváděny proto, aby bylo možno dokazovat matematická tvrzení pro mnoho různých objektů najednou. Například dokáže-li se nějaké tvrzení pro každý lineární prostor, není již nutné jej dokazovat zvlášť pro vektory v rovině, zvlášť pro prostor všech funkcí apod., protože každá z těchto množin tvoří lineární prostor. Totéž platí pro další matematické struktury, například grupy, uspořádané množiny, svazy apod.Používá se též synonymum abstraktní struktura, které zdůrazňuje kontrast mezi konkrétními matematickými objekty (nějaká věta může něco tvrdit o přímkách, jiná o funkcích na reálných číslech...) a obecnými strukturami (kdy věta o grupách něco tvrdí o všech nejrůznějších množinách, které jsou grupami).
|
dbpedia-owl:wikiPageID
| |
dbpedia-owl:wikiPageLength
| |
dbpedia-owl:wikiPageOutDegree
| |
dbpedia-owl:wikiPageRevisionID
| |
dbpedia-owl:wikiPageWikiLink
| |
dbpedia-owl:wikiPageWikiLinkText
|
- Matematické struktury
- matematická struktura
- matematické struktury
- Existuje
- matematickými strukturami
- Matematická struktura#Formální zápis
- matematické objekty
- abstraktní strukturu
- Matematická_struktura#Význam_abstraktních_struktur
- Matematická struktura
- Matematická_struktura#Relační_struktury
|
dcterms:subject
| |
rdfs:comment
|
- Matematická struktura je množina spolu s dodatečnou informací, například algebraickými operacemi, relacemi apod.Matematické struktury jsou zaváděny proto, aby bylo možno dokazovat matematická tvrzení pro mnoho různých objektů najednou. Například dokáže-li se nějaké tvrzení pro každý lineární prostor, není již nutné jej dokazovat zvlášť pro vektory v rovině, zvlášť pro prostor všech funkcí apod., protože každá z těchto množin tvoří lineární prostor.
|
rdfs:label
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbpedia-owl:wikiPageRedirects
of | |
is dbpedia-owl:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |