|    Matroid は通常有限集合を ground set として定義されるが, その無限集合への拡張も古くから考えられている。
    Bruhn と Wollan の [BW12] によると, 無限集合上の matroid として最初に考えられたのは Higgs [Hig69a;
Hig69b; Hig69c] による B-matroid のようである。
    その後, Oxley [Oxl78; Oxl92] が independence space の名前で現在 finitary matroid
と呼ばれるものを調べているが, その Oxley の論文では Welsh の本 [Wel76] の 385 ページと 387 ページ, そして Mirsky
の本 [Mir71] の 90 ページが参照されている。 また, Fornasiero と Kaplan の [FK24] によると, 同じものが
pregeometry という名前で  model theory に登場しているようである。彼等は Tent と Ziegler の monograph
[TZ12] の Appendix C.1 を参照している。
    有限集合上の matroid は様々な公理で定義できるが, infinite matroid の公理としては Bruhn らの [Bru+13;
BD11] に述べられているものがある。そこでは次の公理が述べられている。
 
independence axioms
base axioms
closure axioms
circuit axioms
                                                                  
                                                                  
rank axioms    Rank axioms は, Pendavingh [Pen] により導入されたが, その後上記の [Bru+13] に統合されている。
    Aigner-Horev, Carmesin, Fröhlich の[ACF] によると, 一般には infinite matroid の
union は matroid にはならない。彼等は, finitary matroid の union はまた finitary matroid
になることを示している。また [ACF18] では, finitary matroid より大きな nearly finitary matroid という
class を定義している。
    Oriented matroid の無限版は, あまり調べられていないように思うが, 最近 Delucchi と Knauer [DK21] が
finiteary affine oriented matroid を導入し調べている。
 
finitary affine oriented matroid 
References          
 
[ACF]    
Elad Aigner-Horev, Johannes Carmesin, and Jan-Oliver Fröhlich.
Infinite matroid union. arXiv:  1111.0602.
[ACF18]   
Elad             Aigner-Horev,             Johannes             Carmesin,
and Jan-Oliver Fröhlich. “On the intersection of infinite matroids”.
In: Discrete Math. 341.6 (2018), pp. 1582–1596. arXiv:  1111.0606.
url: https://doi.org/10.1016/j.disc.2018.02.018.
[BD11]    
Henning Bruhn and Reinhard Diestel. “Infinite matroids in graphs”.
In: Discrete Math. 311.15 (2011), pp. 1461–1471. arXiv:  1011.4749.
url: http://dx.doi.org/10.1016/j.disc.2010.12.015.
[Bru+13]  
                                                                  
                                                                  
Henning   Bruhn,   Reinhard   Diestel,   Matthias   Kriesell,   Rudi
Pendavingh,  and  Paul  Wollan.  “Axioms  for  infinite  matroids”.
In:  Adv.  Math.  239  (2013),  pp. 18–46.  arXiv:   1003.3919.  url:
http://dx.doi.org/10.1016/j.aim.2013.01.011.
[BW12]   
Henning Bruhn and Paul Wollan. “Finite connectivity in infinite
matroids”.                                                                        In:
European J. Combin. 33.8 (2012), pp. 1900–1912. arXiv:  1101.5621.
url: http://dx.doi.org/10.1016/j.ejc.2012.05.006.
[DK21]    
Emanuele  Delucchi  and  Kolja  Knauer.  “Finitary  affine  oriented
matroids”. In: Sém. Lothar. Combin. 85B (2021), Art. 48, 12. arXiv:
2011.13348.
[FK24]    
Antongiulio Fornasiero and Elliot Kaplan. “Hilbert polynomials for
finitary                                                                  matroids”.
In: Pacific J. Math. 333.2 (2024), pp. 273–308. arXiv:  2208.01560.
url: https://doi.org/10.2140/pjm.2024.333.273.
[Hig69a]   
D. A. Higgs. “Infinite graphs and matroids”. In: Recent Progress
in Combinatorics (Proc. Third Waterloo Conf. on Combinatorics,
1968). Academic Press, New York, 1969, pp. 245–253.
[Hig69b]   
D. A. Higgs. “Matroids and duality”. In: Colloq. Math. 20 (1969),
pp. 215–220. url: https://doi.org/10.4064/cm-20-2-215-220.
[Hig69c]   
Denis           Higgs.           “Equicardinality           of           bases
in \(B\)-matroids”. In: Canad. Math. Bull. 12 (1969), pp. 861–862. url:
https://doi.org/10.4153/CMB-1969-112-6.
[Mir71]    
L.   Mirsky.   Transversal  theory.  An  account  of  some  aspects
of   combinatorial   mathematics.   Mathematics   in   Science   and
Engineering,  Vol.  75.  Academic  Press,  New  York-London,  1971,
pp. ix+255.
[Oxl78]    
                                                                  
                                                                  
James G. Oxley. “Infinite matroids”. In: Proc. London Math. Soc.
(3)           37.2            (1978),            pp. 259–272.            url:
https://doi.org/10.1112/plms/s3-37.2.259.
[Oxl92]    
James                                                                        Oxley.
“Infinite matroids”. In: Matroid applications. Vol. 40. Encyclopedia
Math. Appl. Cambridge Univ. Press, Cambridge, 1992, pp. 73–90.
url: https://doi.org/10.1017/CBO9780511662041.004.
[Pen]     
R. A. Pendavingh. Relative rank axioms for infinite matroids. arXiv:
1004.0154.
[TZ12]    
Katrin Tent and Martin Ziegler. A course in model theory. Vol. 40.
Lecture                    Notes                    in                    Logic.
Association for Symbolic Logic, La Jolla, CA; Cambridge University
Press, Cambridge, 2012, pp. x+248. isbn: 978-0-521-76324-0. url:
https://doi.org/10.1017/CBO9781139015417.
[Wel76]   
D. J. A.  Welsh.  Matroid  theory.  L.  M.  S.  Monographs,  No.  8.
London: Academic Press [Harcourt Brace Jovanovich Publishers],
1976, pp. xi+433. |