Matematiikka:konstruktio
Tällä käsitteellä ei ole otsikon muodostavia nimityksiä.
| konstruktio |
Määritelmä
Konkreettisen esimerkin rakentaminen jostakin matemaattisesta oliosta
Selite
Matematiikassa tehdään usein erottelu konstruktiivisen ja epäsuoran todistuksen välillä. Kun vaikkapa jonkin matemaattisen olion olemassaolo todistetaan konstruktiivisesti, rakennetaan todistuksessa esimerkki kyseisestä oliosta. Tällöin todistuksen lukija saa yksityiskohtaista tietoa kyseisen olion ominaisuuksista. Epäsuorassa todistuksessa olion olemassaolo todistetaan jonkin yleisen periaatteen nojalla (esim. vastaoletustodistuksella tai käyttämällä valinta-aksioomaa), jolloin todistuksen lukijalle (tai laatijalle) ei paljastu, millainen kyseinen olio konkreettisesti on.
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 5.12.2025: Matematiikka:konstruktio. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Matematiikka:konstruktio.)