Eri ti ko ba beere: awọn apẹẹrẹ ti awọn axiom

Ohun ti jẹ sile awọn ohun ọrọ "axiom", lati ibi ti o ti wá, o si ohun ti o tumo? Schoolboy 7-8 ite awọn iṣọrọ dahun ibeere yi nitori laipe, pẹlu awọn idagbasoke ti awọn ipilẹ papa ti ofurufu geometry, o ti dojuko pẹlu awọn iṣẹ-ṣiṣe: "Eyi ti gbólóhùn wa ni a npe axiom, fun apeere." A iru ibeere ohun agbalagba jẹ seese lati ja si iruju. Awọn diẹ akoko ti o koja niwon awọn iwadi, awọn le o ni lati ranti awọn ni ibere ti Imọ. Sibẹsibẹ, awọn ọrọ "axiom" ti wa ni igba ti a lo ninu lilo lojojumo.

awọn definition

Ki ohun ti wa ni a npe axiom ti ìtẹwọgbà? Apeere ti awon isoruko wa gidigidi Oniruuru ati ki o ko ni opin si eyikeyi ọkan agbegbe ti Imọ. Wi igba wa lati Giriki ede ati gangan tumo si "ya si ipo".

A ti o muna definition ti oro ipinlẹ wipe axiom - awọn ifilelẹ ti awọn iwe lori eko ti eyikeyi yii ti ko ni beere ẹri. Nibẹ ni kan ni ibigbogbo iro ni mathimatiki (paapa geometry), kannaa, imoye.

Die atijọ Greek Aristotle so wipe kedere mon, awọn eri ti wa ni ko ti nilo. Fun apẹẹrẹ, ko si ọkan Abalo wipe orun ni nikan han nigba ọjọ. Mo ti ni idagbasoke yi yii nipa miiran mathematicians - Euclid. Ohun apẹẹrẹ ti awọn axiom nipa iru ila ti ko kọjá rẹ.

Lori akoko, awọn definition yipada. Bayi axiom kò si mọ nikan bi ibẹrẹ ti aisan, ati awọn Abajade agbedemeji bi kan awọn esi, eyi ti Sin bi a starting point fun siwaju yii.

Alakosile lati awọn ile-iwe dajudaju

Omo ile wa ni a ṣe si awọn postulates ko beere ìmúdájú lori awọn eko ti mathimatiki. Nitorina, nigbati ile-iwe giga graduates fi ohun ojúṣe: "Ẹ apeere ti axiom", ti won julọ igba ro courses ti geometry ati aljebra. Nibi ni o wa apeere ti o wọpọ idahun:

• taara ojuami nibẹ, ti o ti wa ni mu (ie luba lori kan ni ila gbooro) ati ki o ko waye (ma ko parq lori kan ni ila gbooro);
• o le fa kan ni ila gbooro nipasẹ eyikeyi ojuami meji;
• lati ya awọn ofurufu si meji idaji-ofurufu, o jẹ pataki lati mu kan ni ila gbooro.

Aljebra ati isiro ni ohun ti ko boju mu fọọmu ti iru assertions ti ko ba nṣakoso, ṣugbọn ohun apẹẹrẹ ti awọn axiom le ri ni wọnyi sáyẹnsì:

• eyikeyi nọmba dogba si ara;
• kuro ßaaju gbogbo adayeba awọn nọmba;
• ti o ba ti k = l, ki o si l = k.

Bayi, nipasẹ o rọrun oyè wa ni a ṣe siwaju sii to ti ni ilọsiwaju agbekale, ṣe awọn iwadi ati ki o kuro ni Theorem.

Ilé kan ijinle sayensi yii da lori axiom

Lati kọ kan ijinle sayensi yii (ko si ohun ti Iru ti iwadi ni ibeere), ti nilo igba - awọn ile ohun amorindun lati eyi ti o ti yoo farahan. Awọn lodi ti awọn axiomatic ọna: ṣiṣẹda a Gilosari ti awọn ofin, ohun apẹẹrẹ ti awọn axiom ti wa ni gbekale lori igba ti ti tágbára awọn ti o ku postulates.

Ijinle sayensi Gilosari yẹ ki o ni ipilẹ agbekale, ie awon ti ko le wa telẹ nipasẹ miiran:

• Sequentially nse kọọkan oro, fifihan awọn oniwe-iye, de ọdọ eyikeyi sayensi ìtẹlẹ.
• Awọn nigbamii ti igbese - awọn ti idanimọ a mojuto ṣeto ti nperare, eyi ti o yẹ ki o wa to fun awọn ẹri ti awọn ti o ku assertions ti awọn yii. Sami kanna ipilẹ postulates ti wa ni gba lai idalare.
• Ik Igbese - awọn ikole ati awọn mogbonwa ipari ti awọn yii.

Postulates ti awọn orisirisi sáyẹnsì

Ikosile lai eri ni ko nikan ni awọn gangan sáyẹnsì, sugbon tun ni awọn ti wa ni maa Wọn si Ihuwa Eniyan. A idaṣẹ apẹẹrẹ - a imoye ti asọye ohun axiom bi oro kan ti o le ko eko lai wulo imo.

Ohun apẹẹrẹ ti awọn axiom jẹ tun ni jurisprudence: "o ko ba le idajọ ara rẹ iwa." Da lori yi ìtẹwọgbà, o wu ofin ilu - ofin laisegbe, ti o ni, a adajo ko le gbọ a irú ti o ba jẹ taara tabi fi ogbon ekoro nife ninu o.

Ko gbogbo ya fun funni

Lati ni oye awọn iyato laarin otitọ axiom ati ki o rọrun expressions, eyi ti o so otito, o jẹ pataki lati itupalẹ awọn iwa si ọna wọn. Fun apẹẹrẹ, nigbati o ba de si esin, ibi ti ohun gbogbo ti wa ni ya fun funni, nibẹ ni ibigbogbo opo ti ni kikun idalẹjọ ti ohun jẹ otitọ nitori o jẹ soro si lati fi mule. Ati ninu awọn ijinle sayensi awujo sọ o jẹ soro lati ṣayẹwo titi kan awọn ipo, lẹsẹsẹ, o yoo jẹ ohun axiom. Yọǹda láti aniani, ṣayẹwo pada - ti o ni ohun seyato a otito ọmowé.