Resultats de la cerca

...' que no pertany a ''F'', hi ha un entorn ''U'' de ''x'' i un entorn ''V'' de ''F'' que no es tallen, <math>U \cap V = \emptyset</math>. La propietat de ser regular és un dels [[axiomes de separació]]. ...

...ics]] que satisfan [[axiomes de separació]] més forts que els de l'[[espai de Hausdorff]]. ...' són disjunts (''U'' ∩ ''V'' = [[Conjunt buit|∅]]). Aquí un veïnat tancat de ''x'' és un conjunt tancat que conté un conjunt obert que conté ''x''. ...

...s.html|títol=Andrey Nikolaevich Kolmogorov (1903-1987): Biografía, axiomas de Kolmogórov y los espacios topológicos T0|consulta=2019-01-04}}</ref><ref>{{ Hi ha diverses caracteritzacions de la propietat de separació de Kolmogórov: ...

En [[topologia]], un '''espai de Hausdorff''', ''' separat ''' o '''T₂''' és un [[espai topològic]] en el qu ...original de Hausdorff d'un espai topològic (de 1914) incloïa la propietat de Hausdorff com a [[axioma]]. ...

[[Fitxer:Hausdorff space.svg|miniatura|Un dels graus possibles de separació és el dels espais T ₂o Hausdorff, en quins punts diferents sempre estan sep ...junts tancats]] poden ser separats per mitjà dels [[conjunt obert|oberts]] de la topologia.<ref>L. A. Steen, J. A. Seebach. ''Counterexample in topology ...

...erò són extensions conservadora, no conservadora i pròpia, respectivament, de '''ZFC'''. == El conjunt d'axiomes == ...

...bé '''topologia fina''') a aquella [[topologia]] tal que tots els elements de l'espai són [[Obert (topologia)|oberts]]. És la topologia amb més oberts qu * Tot element de ''X'' és [[tancat (topologia)|tancat]]. ...

En [[topologia]], un '''espai T₁''' o '''de Fréchet''' es un cas particular d'[[espai topològic]]. ...siguin disjunts, cas en què estaríem parlant d'[[espai de Hausdorff|espais de Hausdorff]] o <math>T_2</math>). ...

En [[teoria de conjunts]], l{{'}}'''axioma del conjunt buit''' és un [[axioma]] que postul ...eix únicament pels elements), per la qual cosa es pot parlar amb propietat de ''el'' conjunt buit. ...

...bset X </math>. Es defineix la ''' topologia traça ''' (també '''topologia de subespai''' o '''topologia induïda''') sobre <math> Y </math>, com la topol * La topologia traça de <math>\mathbb{N}</math> com a subespai de <math>\mathbb{R}</math> amb la topologia ordinària és la [[topologia discre ...

...t (i normalment utilitzat en la demostració de) el [[teorema de l'extensió de Tietze]]. ...(matemàtiques)|veïnat]]s <math>U</math> d'<math>A</math> i <math>V</math> de <math>B</math> que són disjunts. En particular <math>A</math> i <math>B</ma ...

...conjunts]], un '''element''' o '''membre''' d'un [[conjunt]] (o [[família de conjunts]]) és un [[Individu | objecte atòmic]] que forma part d'aquest con == Teoria de conjunts i elements == ...

...'tot conjunt no buit de nombres naturals té un element que és el més petit de tots''. * Llavors es pot concloure que P(n) no és mai verdadera, ja que la successió de naturals que verifiquen la propietat P(n) mai no pot ser estrictament decre ...

...etria projectiva afirma que no és així en el cas d'espais projectius reals de dimensió almenys dos. Els sinònims inclouen '''la projectivitat''', '''la t ...é geometria sintètica); en aquest context, les colineacions són més fàcils de definir que les homografies, i les homografies es defineixen com a colineac ...

La '''teoria de conjunts''' és la branca de les [[matemàtiques]] que estudia els [[conjunt]]s. El primer estudi formal == Definició de conjunt == ...

...ipats amb semàntica basada en la lògica. A diferència dels altres sistemes de representació ([[xarxes semàntiques]] i frames), aquestes lògiques estan do ...axiomes terminològics que introdueixen descripcions complexes i propietats de la '' terminologia descriptiva ''. ...

...a la mateixa ruta. En la mètrica euclidiana, el camí verd té una longitud de <math>6 \sqrt{2} \approx 8{,}49</math>, i és l'únic camí mínim.]] ...able]] a un escalar, permetent així la determinació de distàncies al llarg de corbes mitjançant integració. En aquest cas, hom també l'anomena [[tensor m ...

...eral d'un [[espai (matemàtiques)|espai matemàtic]] que permet la definició de conceptes com la [[Funció_contínua#Funcions_cont.C3.ADnues_entre_espais_top ...ts A, si la direcció de totes les línies rectes dibuixades des d'A a punts de la superfície a una distància infinitesimal respecte A es desvia infinitesi ...

...ema|teoremes]] (altres proposicions matemàtiques demostrades a partir dels axiomes) i en aplicar [[Regla d'inferència|regles d'inferència]] vàlides, hom mostr ...na proposició és certa en tots els casos sense una sola excepció. El rigor de la metodologia matemàtica exigeix que cap proposició no s'accepti com a vàl ...

...emisses veritables, i també és impossible extreure una conclusió veritable de dues premisses falses. En tots els sil·logismes hi ha també un terme mitjà ...é van estudiar els sil·logismes [[Sant Tomàs d'Aquino]] i altres pensadors de l'antiguitat i l'[[edat mitjana]]. ...