теперь, как и обещал, по Бурбакам для
creative и
JMH рассуждения проводимые
creative совершенно верны и
JMH вы сами ошибаетесь и вводите его в заблуждение убирая знак
![$\tau_{\boldsymbol{y}}(\boldsymbol{A}_j)=\tau \boldsymbol{A}_j=\boldsymbol{A}_j$ $\tau_{\boldsymbol{y}}(\boldsymbol{A}_j)=\tau \boldsymbol{A}_j=\boldsymbol{A}_j$](https://dxdy-03.korotkov.co.uk/f/e/a/5/ea55799852176a8df017f17e3d00bc5482.png)
. Без знака
![$\tau$ $\tau$](https://dxdy-01.korotkov.co.uk/f/0/f/e/0fe1677705e987cac4f589ed600aa6b382.png)
знакосочетание
![$\boldsymbol{A}_j$ $\boldsymbol{A}_j$](https://dxdy-01.korotkov.co.uk/f/4/a/7/4a7839b2b31f37c78be103be7825458582.png)
второго рода, а с ним первого. Т.е. с
![$\tau$ $\tau$](https://dxdy-01.korotkov.co.uk/f/0/f/e/0fe1677705e987cac4f589ed600aa6b382.png)
это предмет, а без него свойство предмета. И вытекает это именно из 33стр. при определении
![$\tau_{\boldsymbol{x}}(\boldsymbol{A})$ $\tau_{\boldsymbol{x}}(\boldsymbol{A})$](https://dxdy-02.korotkov.co.uk/f/9/9/5/995d7004817f90ea4bb5ac99ea9b662f82.png)
- судите сами: сперва мы приписываем знак
![$\tau$ $\tau$](https://dxdy-01.korotkov.co.uk/f/0/f/e/0fe1677705e987cac4f589ed600aa6b382.png)
, потом уже там что-то с чем-то соединяем. Но если буквы
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
нет в
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
, то и соединять не с чем, но знак
![$\tau$ $\tau$](https://dxdy-01.korotkov.co.uk/f/0/f/e/0fe1677705e987cac4f589ed600aa6b382.png)
остается слева приписанным. И это существенно для доказательства, как вы увидите внизу.
теперь по доказательству: ну все было прекрасно
Цитата:
![$\boldsymbol{z}$ $\boldsymbol{z}$](https://dxdy-04.korotkov.co.uk/f/f/c/6/fc6269ab6bfaf94103b9320fba387bd082.png)
тождественно с
![$\boldsymbol{y}$ $\boldsymbol{y}$](https://dxdy-04.korotkov.co.uk/f/f/b/0/fb0aa255d3149254e38a4ef0b96a5b7582.png)
; тогда
![$\tau_{\boldsymbol{y}}(\boldsymbol{A}_j)$ $\tau_{\boldsymbol{y}}(\boldsymbol{A}_j)$](https://dxdy-03.korotkov.co.uk/f/a/9/a/a9a64a83ba6b48d2634ba0db3c1bbf7482.png)
тождественно с
![$\tau\boldsymbol{A}_j$ $\tau\boldsymbol{A}_j$](https://dxdy-03.korotkov.co.uk/f/e/3/1/e3122f5648d5f76fb72943388a86647a82.png)
; следовательно,
![$(\boldsymbol{y}|\boldsymbol{x})\tau_{\boldsymbol{y}}(\boldsymbol{A}_j)$ $(\boldsymbol{y}|\boldsymbol{x})\tau_{\boldsymbol{y}}(\boldsymbol{A}_j)$](https://dxdy-02.korotkov.co.uk/f/d/f/e/dfee164c6e60a24dbe704ab5c66f1cd282.png)
тождественно с
![$(\boldsymbol{y}|\boldsymbol{x})\tau\boldsymbol{A}_j$ $(\boldsymbol{y}|\boldsymbol{x})\tau\boldsymbol{A}_j$](https://dxdy-02.korotkov.co.uk/f/d/b/2/db2070fee2a9aea38445042cddfd36d282.png)
, а это тождественно
![$\tau(\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_j$ $\tau(\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_j$](https://dxdy-01.korotkov.co.uk/f/4/6/0/460e2e67bb9cb4bb9fe8fc0d8a344b6e82.png)
, которое можно записать в виде
![$\tau_{\boldsymbol{u}}((\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_j)$ $\tau_{\boldsymbol{u}}((\boldsymbol{y}|\boldsymbol{x})\boldsymbol{A}_j)$](https://dxdy-01.korotkov.co.uk/f/8/2/8/8281507f5cd57e78f6c269229247110a82.png)
, где
![$\boldsymbol{u}$ $\boldsymbol{u}$](https://dxdy-04.korotkov.co.uk/f/7/8/6/786bb1294c6baa799ce524c649baf6ef82.png)
- буква, не встречающаяся в
![$\boldsymbol{A}_j'$ $\boldsymbol{A}_j'$](https://dxdy-04.korotkov.co.uk/f/f/2/9/f293eb6f5b4e155d3ef116ae2e42193c82.png)
;
вы уже все получили и не заметили. Что мы хотим получить? Апелируем на стр.35 к пункту г) определения формативной конструкции. Его то мы и хотим доказать для индекса
![$i$ $i$](https://dxdy-04.korotkov.co.uk/f/7/7/a/77a3b857d53fb44e33b53e4c8b68351a82.png)
. Вы же получили, что на
![$i$ $i$](https://dxdy-04.korotkov.co.uk/f/7/7/a/77a3b857d53fb44e33b53e4c8b68351a82.png)
-ом месте есть знакосочетание
![$\tau(y|x)A_{j}$ $\tau(y|x)A_{j}$](https://dxdy-02.korotkov.co.uk/f/5/7/d/57def17db2e9971e9101ca0f23ae421682.png)
в то время как перед ним на
![$j$ $j$](https://dxdy-04.korotkov.co.uk/f/3/6/b/36b5afebdba34564d884d347484ac0c782.png)
-ом месте есть знакосочетание
![$(y|x)A_{j}$ $(y|x)A_{j}$](https://dxdy-04.korotkov.co.uk/f/b/c/3/bc3f3381d3bcb724dae0aa9757ec556e82.png)
. Чего-же не хватает для пункта г) формативной конструкции? Да именно того чтобы на
![$i$ $i$](https://dxdy-04.korotkov.co.uk/f/7/7/a/77a3b857d53fb44e33b53e4c8b68351a82.png)
-ом месте было бы именно то знакосочетание, что есть на
![$j$ $j$](https://dxdy-04.korotkov.co.uk/f/3/6/b/36b5afebdba34564d884d347484ac0c782.png)
-ом только подогнанное под
![$\tau$ $\tau$](https://dxdy-01.korotkov.co.uk/f/0/f/e/0fe1677705e987cac4f589ed600aa6b382.png)
но с какой-нибудь буквой. Так идеально подходит такая какая-нибудь буква
![$u$ $u$](https://dxdy-03.korotkov.co.uk/f/6/d/b/6dbb78540bd76da3f1625782d42d6d1682.png)
, которая не встречается в
![$(y|x)A_{j}$ $(y|x)A_{j}$](https://dxdy-04.korotkov.co.uk/f/b/c/3/bc3f3381d3bcb724dae0aa9757ec556e82.png)
. И, извините за повторение, смотрите что мы получили: на
![$j$ $j$](https://dxdy-04.korotkov.co.uk/f/3/6/b/36b5afebdba34564d884d347484ac0c782.png)
-ом месте
![$(y|x)A_{j}$ $(y|x)A_{j}$](https://dxdy-04.korotkov.co.uk/f/b/c/3/bc3f3381d3bcb724dae0aa9757ec556e82.png)
, а после него на
![$i$ $i$](https://dxdy-04.korotkov.co.uk/f/7/7/a/77a3b857d53fb44e33b53e4c8b68351a82.png)
-ом месте
![$\tau_{u}((y|x)A_{j})$ $\tau_{u}((y|x)A_{j})$](https://dxdy-02.korotkov.co.uk/f/5/7/8/5789a1fdca3e16d3dbf2a5a28732311882.png)
т.е. именно то что нужно, для г) 35стр.
Надеюсь все вам стало ясно и поэтому не коментирую остальное, дожидаясь ваших ответов. Но, разумеется, при вашем желании можем пройтись и по остальным предложениям.
-- Пт апр 15, 2011 00:40:02 --и теперь, отдельно, опять для
Виктор Викторов Цитата:
А как мы вроде выяснили (если я правильно понял) неформально
![$\tau_x(A)$ $\tau_x(A)$](https://dxdy-02.korotkov.co.uk/f/5/9/f/59f38175f54b09c932c980cd54da61aa82.png)
- высказывание, полученное из формулы
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
вот тут по-моему я понял где вы ошибаетесь, поправьте меня если это я ошибаюсь - вы употребляете термин "высказывание" от себя, его нет в Бурбаках, нету и на 37стр., и вкладываете в него смысл Мендельсона. Но
![$\tau_x(A)$ $\tau_x(A)$](https://dxdy-02.korotkov.co.uk/f/5/9/f/59f38175f54b09c932c980cd54da61aa82.png)
это терм полученный из формулы
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
, а не формула.
Думаю, что для нас с вами принципиально понять друг-друга в этом месте, пока продолжим дальше.