Hulpstelling
Een hulpstelling of lemma is in de wiskunde een stelling waarin een deelresultaat aangetoond wordt dat nodig is als onderdeel van het hoofdresultaat, de eigenlijke stelling of hoofdstelling. Hoewel een hulpstelling ook op zichzelf van belang kan zijn, is het resultaat van de hulpstelling meestal slechts van belang voor de hoofdstelling. Het begrip is dus relatief, het hangt van het einddoel van een wiskundige af. Een stelling is niet inherent een hulpstelling, maar kan bijvoorbeeld in de natuurkunde worden gebruikt om een verschijnsel te verklaren. In de loop van de tijd is de status van veel stellingen dan ook verlaagd door de ontwikkeling van nieuwe theorieën, maar opwaardering komt ook voor.
Een voorbeeld van een 'degradatie' is de hoofdstelling van de rekenkunde, die tegenwoordig (slechts) aantoont dat de ring der gehele getallen een ontbindingsring is. Anderzijds is de stelling van Bolzano-Weierstrass door Bernard Bolzano bewezen als een lemma in het bewijs van de tussenwaardestelling. Pas vijftig jaar later werd het grote belang van de stelling in zijn eigen recht erkend, nadat Karl Weierstrass haar nogmaals had bewezen.
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.