This HTML5 document contains 13 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://hu.dbpedia.org/resource/Sablon:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n8http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Üres_függvény
rdfs:label
Üres függvény
dct:subject
n8:Függvények n8:Halmazelmélet
dbo:wikiPageID
1481244
dbo:wikiPageRevisionID
19789304
prop-hu:wikiPageUsesTemplate
n4:= n4:Más n4:Math
dbo:abstract
A matematikai üres függvény fogalma alatt olyan függvényt értünk, melynek értelmezési tartománya az üres halmaz. Minden A halmazhoz pontosan egy ilyen üres függvény létezik: Az üres függvény grafikonja a Descartes-szorzat részhalmaza. Mivel a szorzat üres, egyetlen részhalmaza maga az üres halmaz. Ez érvényes hozzárendelés, hiszen az értelmezési tartomány minden x-ére létezik olyan egyedi y az A értékkészletben, hogy . Ez az állítás az mintapéldánya, hiszen nincsen x az értelmezési tartományban. Az hozzárendelést megvalósító üres függvény létezése szükséges ahhoz, hogy a (Set) kategória lehessen, mivel a kategória minden objektumának rendelkeznie kell identitásmorfizmussal, és az egyetlen üres függvény az objektum identitása.A kardinális aritmetikában azt jelenti, hogy minden k kardinális számra k0 = 1; ez különösen mély, ha a -t tekintjük.
prov:wasDerivedFrom
wikipedia-hu:Üres_függvény?oldid=19789304&ns=0
dbo:wikiPageLength
1534
foaf:isPrimaryTopicOf
wikipedia-hu:Üres_függvény
Subject Item
wikipedia-hu:Üres_függvény
foaf:primaryTopic
dbpedia-hu:Üres_függvény