34225

@prefix azonOnto: <http://id.e-science.pl/ontologies/azonOnto#> .
@prefix collection: <http://id.e-science.pl/vocab/collection/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix kv: <http://id.e-science.pl/vocab/kv/> .
@prefix person: <http://id.e-science.pl/vocab/person/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix records: <http://id.e-science.pl/records/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix unit: <http://id.e-science.pl/vocab/unit/> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

kv:34225 a skos:Concept ;
    rdfs:seeAlso "https://pl.wikipedia.org/wiki/Twierdzenie_Bolzana-Weierstrassa"@pl ;
    skos:altLabel "lemat Bolzano-Weierstrassa"@pl,
        "twierdzenie Bolzana-Weierstrassa "@pl ;
    skos:definition "Jeden z podstawowych wyników w analizie matematycznej. Mówi, że każdy ograniczony ciąg liczb rzeczywistych zawiera podciąg zbieżny. Oznacza to, że domknięte i ograniczone podzbiory prostej rzeczywistej są ciągowo zwarte. Twierdzenie to jest bezpośrednim wnioskiem z twierdzenia Heinego-Borela, mówiącego, że podzbiór prostej jest zwarty wtedy i tylko wtedy, gdy jest on domknięty i ograniczony oraz z równoważności zwartości ze zwartością ciągową w przestrzeniach metryzowalnych."@pl ;
    skos:inScheme kv:keywordsVocabulary ;
    skos:prefLabel "twierdzenie Weierstrassa"@pl .