Abstract Simplicial Complexes

Karol Pąk

Formalized Mathematics (2010)

  • Volume: 18, Issue: 1, page 95-106
  • ISSN: 1426-2630

Abstract

top
In this article we define the notion of abstract simplicial complexes and operations on them. We introduce the following basic notions: simplex, face, vertex, degree, skeleton, subdivision and substructure, and prove some of their properties.

How to cite

top

Karol Pąk. "Abstract Simplicial Complexes." Formalized Mathematics 18.1 (2010): 95-106. <http://eudml.org/doc/267250>.

@article{KarolPąk2010,
abstract = {In this article we define the notion of abstract simplicial complexes and operations on them. We introduce the following basic notions: simplex, face, vertex, degree, skeleton, subdivision and substructure, and prove some of their properties.},
author = {Karol Pąk},
journal = {Formalized Mathematics},
language = {eng},
number = {1},
pages = {95-106},
title = {Abstract Simplicial Complexes},
url = {http://eudml.org/doc/267250},
volume = {18},
year = {2010},
}

TY - JOUR
AU - Karol Pąk
TI - Abstract Simplicial Complexes
JO - Formalized Mathematics
PY - 2010
VL - 18
IS - 1
SP - 95
EP - 106
AB - In this article we define the notion of abstract simplicial complexes and operations on them. We introduce the following basic notions: simplex, face, vertex, degree, skeleton, subdivision and substructure, and prove some of their properties.
LA - eng
UR - http://eudml.org/doc/267250
ER -

References

top
  1. [1] Broderick Arneson and Piotr Rudnicki. Recognizing chordal graphs: Lex BFS and MCS. Formalized Mathematics, 14(4):187-205, 2006, doi:10.2478/v10037-006-0022-z.[Crossref] 
  2. [2] Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990. 
  3. [3] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990. Zbl06213858
  4. [4] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990. 
  5. [5] Grzegorz Bancerek. Tarski's classes and ranks. Formalized Mathematics, 1(3):563-567, 1990. 
  6. [6] Grzegorz Bancerek. Continuous, stable, and linear maps of coherence spaces. Formalized Mathematics, 5(3):381-393, 1996. 
  7. [7] Grzegorz Bancerek and Yasunari Shidama. Introduction to matroids. Formalized Mathematics, 16(4):325-332, 2008, doi:10.2478/v10037-008-0040-0.[Crossref] 
  8. [8] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990. 
  9. [9] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990. 
  10. [10] Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990. 
  11. [11] Adam Naumowicz. On Segre's product of partial line spaces. Formalized Mathematics, 9(2):383-390, 2001. Zbl1019.51003
  12. [12] Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990. 
  13. [13] Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990. 
  14. [14] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990. 
  15. [15] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990. 
  16. [16] Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73-83, 1990. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.