The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “The projective limit functor for spectra of webbed spaces”

Strong duals of projective limits of (LB)-spaces

J. Bonet, Susanne Dierolf, J. Wengenroth (2002)

Czechoslovak Mathematical Journal

Similarity:

We investigate the problem when the strong dual of a projective limit of (LB)-spaces coincides with the inductive limit of the strong duals. It is well-known that the answer is affirmative for spectra of Banach spaces if the projective limit is a quasinormable Fréchet space. In that case, the spectrum satisfies a certain condition which is called “strong P-type”. We provide an example which shows that strong P-type in general does not imply that the strong dual of the projective limit...

Combinatorial Grassmannians

Andrzej Owsiejczuk (2007)

Formalized Mathematics

Similarity:

In the paper I construct the configuration G which is a partial linear space. It consists of k-element subsets of some base set as points and (k + 1)-element subsets as lines. The incidence is given by inclusion. I also introduce automorphisms of partial linear spaces and show that automorphisms of G are generated by permutations of the base set.

Homography in ℝℙ

Roland Coghetto (2016)

Formalized Mathematics

Similarity:

The real projective plane has been formalized in Isabelle/HOL by Timothy Makarios [13] and in Coq by Nicolas Magaud, Julien Narboux and Pascal Schreck [12]. Some definitions on the real projective spaces were introduced early in the Mizar Mathematical Library by Wojciech Leonczuk [9], Krzysztof Prazmowski [10] and by Wojciech Skaba [18]. In this article, we check with the Mizar system [4], some properties on the determinants and the Grassmann-Plücker relation in rank 3 [2], [1], [7],...