{"id":265620,"date":"2026-07-16T14:18:54","date_gmt":"2026-07-16T11:18:54","guid":{"rendered":"https:\/\/1kitap1.com\/en\/learning-spaces-jean-claude-falmagne-1\/"},"modified":"2026-07-16T14:18:54","modified_gmt":"2026-07-16T11:18:54","slug":"learning-spaces-jean-claude-falmagne-1","status":"publish","type":"post","link":"https:\/\/1kitap1.com\/en\/learning-spaces-jean-claude-falmagne-1\/","title":{"rendered":"Learning Spaces – Jean – Claude Falmagne (1)"},"content":{"rendered":"
\"<\/figure>\n

(10.13) 10.4.11 Theorem. For any discriminative, well-graded family K of sets, de- note by s(K) the oriented medium constructed in Theorems 10.4.1 and 10.4.3. For any oriented medium (S, T), denote by f(S, T) the discriminative, well- graded family formed by all its positive contents (cf. Theorem 10.4.9). We then have K \u223c(f \u25e6s)(K) and S \u223c(s \u25e6f)(S). (10.14) Proof. Given K, select some q \u2208\u222aK \\ \u2229K and some K \u2208K. Note that K stands for both an element of K and an element of s(K), since these two sets are equal.<\/p>\n

We have q \u2208K if and only if \u03c4q \u2208bK+. With (S, T) = s(K), the positive tokens of the oriented medium (S, T) are of the form \u03c4q, for q in \u222aK \\ \u2229K. Also, f(S, T) is the family bS+ of all positive contents of (S, T), and any positive token \u03c4 is an element of \u222abS+; moreover, we have \u2229bS+ = \u2205by Theorem 10.4.9. The \ufb01rst isomorphism formula in (10.14) derives from the mapping (\u222aK) \\ (\u2229K) \u2192bS+ : q 7\u2192\u03c4q.<\/p>\n

Let (S, T) be an oriented medium, and let (S\u2032, T\u2032) denote (s \u25e6f)(S, T). An element K of the set family K = f(S, T) is exactly the positive content of some state of the medium (S, T). Each state in the medium s(K) = (S\u2032, T\u2032) is an element of K, so is a positive content bS+ of some state S in the given medium (S, T).<\/p>\n

By Theorem 10.4.9, S is fully determined by bS+. We may thus set b(S) = K, which gives a bijective mapping b : S \u2192S\u2032. Now, what about the tokens of (S\u2032, T\u2032)? According to Equations (10.7) and (10.8), a token \u03c4 of s(K) = (S\u2032, T\u2032) is either of the form \u03c4q or \u03c4\u00afq = e\u03c4q, where q \u2208(\u222aK) \\ (\u2229K).<\/p>\n

Theorem 10.4.9 gives us here \u222aK = \u222abS+ = T+ and \u2229K = \u2229bS+ = \u2205. Then, any q \u2208\u222aK = T+ equals some positive token \u03c4(q) of the given medium (S, T), and conversely. This yields the bijective mapping c : T \u2192T\u2032 sending \u03c4(q) to \u03c4q, and g \u03c4(q) to \u03c4\u00afq.<\/p>\n

\n

Springer Heidelberg Dordrecht London New York c\u20ddSpringer-Verlag Berlin Heidelberg 2011 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, speci\ufb01cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on micro\ufb01lm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer.<\/p>\n

Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a speci\ufb01c statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover design: KuenkelLopka GmbH Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com) Library of Congress Control Number: 2010933254 Prof. Dr. Jean-Paul Doignon Universit\u00e9 Libre de Bruxelles D\u00e9partement de Math\u00e9matique, c.p.<\/p>\n

216 Bd du Triomphe 1050 Bruxelles Belgium doignon@ulb.ac.be Prof. Dr. Jean-Claude Falmagne 92697-5100 Irvine California USA jcf@uci.edu Department of Cognitive Sciences Institute of Mathematical Behavioral Sciences University of California, Irvine Preface This book is a much enlarged second edition of \u201cKnowledge Spaces\u201d, by Jean- Paul Doignon and Jean-Claude Falmagne, which appeared in 1999. Chapters content are explained below. As much of our earlier preface remains valid, we reproduce the useful parts here. The work reported in these pages began during the academic year 1982\u2013 83. One of us (JCF) was on sabbatical leave at the University of Regensburg.<\/p>\n

For various reasons, the time was ripe for a new joint research subject. Our long term collaboration was thriving, and we could envisage an ambitious commitment. We decided to build an e\ufb03cient machine for the assessment of knowledge\u2014for example, that of students learning a scholarly subject. We be- gan at once to work out the theoretical components of such a machine.<\/p>\n

Until then, we had been engaged in topics dealing mostly with geometry, combi- natorics, psychophysics, and especially measurement theory.<\/p>\n<\/blockquote>\n

This is a short excerpt from the opening of “” by Unknown, quoted for review and introduction purposes. All rights belong to the copyright holders.<\/em><\/p>\n

\n
\n

Table of Contents<\/p>\nToggle<\/span><\/path><\/svg><\/svg><\/span><\/span><\/span><\/a><\/span><\/div>\n