W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21476Pełny rekord metadanych
| Pole DC | Wartość | Język |
|---|---|---|
| dc.contributor.author | Kotowicz, Jarosław | - |
| dc.date.accessioned | 2026-11-09T12:51:07Z | - |
| dc.date.available | 2026-11-09T12:51:07Z | - |
| dc.date.issued | 2003 | - |
| dc.identifier.citation | Formalized Mathematics, Volume 11, Issue 1, Pages 69-86 | pl |
| dc.identifier.issn | 1426-2630 | - |
| dc.identifier.uri | http://hdl.handle.net/11320/21476 | - |
| dc.description.abstract | The main goal of the article is the presentation of the theory of bilinear functionals in vector spaces. It introduces standard operations on bilinear functionals and proves their classical properties. It is shown that quotient functionals are non-degenerate on the left and the right. In the case of symmetric and alternating bilinear functionals it is shown that the left and right kernels are equal. | pl |
| dc.description.sponsorship | This work has been partially supported by TRIAL-SOLUTION grant IST-2001-35447 and SPUB-M grant of KBN. | pl |
| dc.language.iso | en | pl |
| dc.publisher | University of Białystok | pl |
| dc.rights | CC BY-SA 4.0 | - |
| dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | - |
| dc.title | Bilinear Functionals in Vector Spaces | pl |
| dc.type | Article | pl |
| dc.rights.holder | © 2003 University of Białystok | pl |
| dc.rights.holder | This work is licensed under the Creative Commons License. | pl |
| dc.description.Affiliation | University of Białystok | pl |
| dc.description.references | Grzegorz Bancerek. Curried and uncurried functions. Formalized Mathematics, 1(3):537–541, 1990. | pl |
| dc.description.references | Józef Białas. Group and field definitions. Formalized Mathematics, 1(3):433–439, 1990. | pl |
| dc.description.references | Czesław Byliński. Binary operations. Formalized Mathematics, 1(1):175–180, 1990. | pl |
| dc.description.references | Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55–65, 1990. | pl |
| dc.description.references | Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990. | pl |
| dc.description.references | Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990. | pl |
| dc.description.references | Jarosław Kotowicz. Monotone real sequences. Subsequences. Formalized Mathematics, 1(3):471–475, 1990. | pl |
| dc.description.references | Jarosław Kotowicz. Quotient vector spaces and functionals. Formalized Mathematics, 11(1):59–68, 2003. | pl |
| dc.description.references | Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335–342, 1990. | pl |
| dc.description.references | Anna Justyna Milewska. The Hahn Banach theorem in the vector space over the field of complex numbers. Formalized Mathematics, 9(2):363–371, 2001. | pl |
| dc.description.references | Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223–230, 1990. | pl |
| dc.description.references | Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1):115–122, 1990. | pl |
| dc.description.references | Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990. | pl |
| dc.description.references | Andrzej Trybulec. A Borsuk theorem on homotopy types. Formalized Mathematics, 2(4):535–545, 1991. | pl |
| dc.description.references | Wojciech A. Trybulec. Subspaces and cosets of subspaces in vector space. Formalized Mathematics, 1(5):865–870, 1990. | pl |
| dc.description.references | Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291–296, 1990. | pl |
| dc.description.references | Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990. | pl |
| dc.description.references | Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1(1):73–83, 1990. | pl |
| dc.description.references | Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990. | pl |
| dc.identifier.eissn | 1898-9934 | - |
| dc.description.volume | 11 | pl |
| dc.description.issue | 1 | pl |
| dc.description.firstpage | 69 | pl |
| dc.description.lastpage | 86 | pl |
| dc.identifier.citation2 | Formalized Mathematics | pl |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2003, Volume 11, Issue 1 | |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Bilinear_Functionals_in_Vector_Spaces.pdf | 111,76 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
