Diagonalization of continuous matrices as a representation of intuitionistic reals
نویسندگان
چکیده
منابع مشابه
Diagonalization of continuous matrices as a representation of intuitionistic reals
We use topological models of intuitionistic analysis to answer some of the recent questions of Kadison [7] concerning diagonalization of matrices of continuous functions. Let X be a compact Hausdorff space, and let %(X) be the ring of continuous real functions on X. In the topological interpretation of intuitionistic analysis over X [3], %(X) represents the internal set of (Dedekind) reals. Thu...
متن کاملtranslating allusive devices:a survey of a portrait of the artist as a young man by james joyce
تلمیح یکی از عناصری است که تقریباً در همه ی متون ادبی یافت و باعث ایجاد شکاف های فرهنگی می شود. در این تحقیق به عنوان شکلی از بینامتنیت در ترجمه مورد توجه قرار می گیرد. تلاش شده است تا راهکارهای مترجمان برای ترجمه چهار نوع اسامی خاص و عبارات کلیدی تلمیحی (مذهبی، سیاسی، تاریخی و اسطوره ای) موجود در رمانِ چهره مرد هنرمند در جوانی به فارسی بررسی شود. این تحقیق مقایسه ای بر اساس راهکارهای ترجمه تلمیح...
15 صفحه اولDiagonalization of Sp(2) matrices
The two-by-two Sp(2) matrix has three parameters with unit determinant. Yet, there are no established procedures for diagonalizing this matrix. It is shown that this matrix can be written as a similarity transformation of the two-by-two Wigner matrix, derivable from Wigner’s little group which dictates the internal space-time symmetries of relativistic particles. The Wigner matrix can be diagon...
متن کاملQuantum Diagonalization of Hermitean Matrices
To measure an observable of a quantum mechanical system leaves it in one of its eigenstates and the result of the measurement is one of its eigenvalues. This process is shown to be a computational resource. It allows one, in principle, to diagonalize hermitean (N × N) matrices by quantum mechanical measurements only. To do so, one considers the given matrix as an observable of a single spin wit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1986
ISSN: 0168-0072
DOI: 10.1016/0168-0072(86)90006-0