W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21463Pełny rekord metadanych
| Pole DC | Wartość | Język |
|---|---|---|
| dc.contributor.author | Endou, Noboru | - |
| dc.contributor.author | Mitsuishi, Takashi | - |
| dc.contributor.author | Shidama, Yasunari | - |
| dc.date.accessioned | 2026-11-09T08:14:32Z | - |
| dc.date.available | 2026-11-09T08:14:32Z | - |
| dc.date.issued | 2003 | - |
| dc.identifier.citation | Formalized Mathematics, Volume 11, Issue 1, Pages 33-38 | pl |
| dc.identifier.issn | 1426-2630 | - |
| dc.identifier.uri | http://hdl.handle.net/11320/21463 | - |
| dc.description.abstract | In this article we introduce three subjects in real unitary space: parallelism of subsets, orthogonality of subsets and topology of the space. In particular, to introduce the topology of real unitary space, we discuss the metric topology which is induced by the inner product in the space. As the result, we are able to discuss some topological subjects on real unitary space. | 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 | Topology of Real Unitary Space | 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 | Noboru Endou - Gifu National College of Technology | pl |
| dc.description.Affiliation | Takashi Mitsuishi - Miyagi University | pl |
| dc.description.Affiliation | Yasunari Shidama - Shinshu University Nagano | pl |
| dc.description.references | Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama. Dimension of real unitary space. Formalized Mathematics, 11(1):23–28, 2003. | pl |
| dc.description.references | Noboru Endou, Takashi Mitsuishi, and Yasunari Shidama. Subspaces and cosets of sub-space of real unitary space. Formalized Mathematics, 11(1):1–7, 2003. | pl |
| dc.description.references | Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35–40, 1990. | pl |
| dc.description.references | Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147–152, 1990. | 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 | Jan Popiołek. Introduction to Banach and Hilbert spaces - part I. Formalized Mathematics, 2(4):511–516, 1991. | pl |
| dc.description.references | Jan Popiołek. Introduction to Banach and Hilbert spaces - part II. Formalized Mathematics, 2(4):517–521, 1991. | pl |
| dc.description.references | Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9–11, 1990. | pl |
| dc.description.references | Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3):445–449, 1990. | pl |
| dc.description.references | Wojciech A. Trybulec. Subspaces and cosets of subspaces in real linear space. Formalized Mathematics, 1(2):297–301, 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.identifier.eissn | 1898-9934 | - |
| dc.description.volume | 11 | pl |
| dc.description.issue | 1 | pl |
| dc.description.firstpage | 33 | pl |
| dc.description.lastpage | 38 | 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 | |
|---|---|---|---|---|
| Topology_of_Real_Unitary_Space.pdf | 69,86 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
