マイケル・スピヴァック著『多変数解析学』を読む。【Michael Spivak】 at MATH
[2ch|▼Menu]
[前50を表示]
100:¥
17/05/17 05:03:12.33 a+M0ej/B.net


101:¥
17/05/17 05:03:32.28 a+M0ej/B.net


102:¥
17/05/17 05:03:53.48 a+M0ej/B.net


103:132人目の素数さん
17/05/17 10:42:32.13 71XROQKT.net
534 名前:132人目の素数さん[] 投稿日:2017/05/17(水) 09:05:58.90 ID:a66j11SR
URLリンク(imgur.com)
↑青い線を引いたところを見てください。
なぜ通常の集合ではなく「multiset」となっているのでしょうか?
↑赤い線を引いたところを見てください。
dim W ≦ |I_1|
となっていますが、
dim W = |I_1|
ですよね。
535 名前:132人目の素数さん[] 投稿日:2017/05/17(水) 09:08:25.08 ID:a66j11SR
>>534
書き忘れましたが、 V(m, F) は m 次元の F の元をスカラーとするベクトル空間のことです。
536 名前:132人目の素数さん[] 投稿日:2017/05/17(水) 09:38:33.42 ID:a66j11SR
>>534
multiset と書かれているのは全く同じ列ベクトルが行列に含まれていることがあるからですね。

104:¥
17/05/17 10:47:58.88 a+M0ej/B.net


105:¥
17/05/17 10:48:19.36 a+M0ej/B.net


106:¥
17/05/17 10:48:40.08 a+M0ej/B.net


107:¥
17/05/17 10:49:02.66 a+M0ej/B.net


108:¥
17/05/17 10:49:24.54 a+M0ej/B.net


109:¥
17/05/17 10:49:46.58 a+M0ej/B.net


110:¥
17/05/17 10:50:06.98 a+M0ej/B.net


111:¥
17/05/17 10:50:37.33 a+M0ej/B.net


112:¥
17/05/17 10:51:01.52 a+M0ej/B.net


113:¥
17/05/17 10:51:30.38 a+M0ej/B.net

>462 132人目の素数さん2017/05/16(火) 00:33:13.20ID:PrryPRav
>数学なんか理解しても人間性の評価に
>何の影響もないからどうでもいい
>
>いい大学の入試パスできる数学以外は
>使えん
>
>ゴミ
>
>526 132人目の素数さん2017/05/16(火) 23:03:37.74ID:5cxKtuwt
>東大含め、旧帝は数学5割で受かるから数学の本質理解など要らん
>
>数学は、入学したらさようなら
>
>529 132人目の素数さん2017/05/17(水) 00:38:50.34ID:t0rdrWYT
>数学なんてやる奴は社会に存在しないも
>同然だし、だれも見向きもしない
>
>ただの趣味でやってるだけで社会に情報提供も
>しないとなると、数学者はますますゴミクズになる
>
>知識を自慢したいがためだけに必死で数学やってる
>この板の人間が最悪
>
>531 132人目の素数さん2017/05/17(水) 01:20:58.31ID:t0rdrWYT
>本当に最悪なのは使えない数学が生きること
>
>数学的優越感こそ最大の悪
>

114:¥
17/05/17 12:03:06.29 a+M0ej/B.net


115:¥
17/05/17 12:03:24.65 a+M0ej/B.net


116:¥
17/05/17 12:03:44.69 a+M0ej/B.net


117:¥
17/05/17 12:04:06.03 a+M0ej/B.net


118:¥
17/05/17 12:04:28.05 a+M0ej/B.net


119:¥
17/05/17 12:04:49.02 a+M0ej/B.net


120:¥
17/05/17 12:05:10.56 a+M0ej/B.net


121:¥
17/05/17 12:05:32.15 a+M0ej/B.net


122:¥
17/05/17 12:05:52.93 a+M0ej/B.net


123:¥
17/05/17 12:06:16.26 a+M0ej/B.net


124:¥ ◇2VB8wsVUoo
17/05/17 12:56:39.00 +ZAaxs99.net


125:¥ ◇2VB8wsVUoo
17/05/17 12:57:36.12 +ZAaxs99.net


126:¥ ◇2VB8wsVUoo
17/05/17 12:58:12.61 +ZAaxs99.net


127:¥ ◇2VB8wsVUoo
17/05/17 12:58:54.67 +ZAaxs99.net


128:¥ ◇2VB8wsVUoo
17/05/17 12:59:41.34 +ZAaxs99.net


129:¥ ◇2VB8wsVUoo
17/05/17 13:00:31.36 +ZAaxs99.net


130:¥ ◇2VB8wsVUoo
17/05/17 13:01:09.28 +ZAaxs99.net


131:¥ ◇2VB8wsVUoo
17/05/17 13:01:51.48 +ZAaxs99.net


132:¥ ◇2VB8wsVUoo
17/05/17 13:02:33.02 +ZAaxs99.net


133:¥ ◇2VB8wsVUoo
17/05/17 13:03:21.30 +ZAaxs99.net


134:132人目の素数さん
17/05/17 15:45:16.90 cgfHB7pZ.net
>>103
EXAMPLE1.1.2を見ても判るように、Xがsetであったとしても
Aの列に同じ値のものがあれば、Xが指す列の集まりは
ベクトルのsetではなくmultisetになるからだよ。
例えば、あの例では{1,4}はFに属さず、{1,4}が指す
Aの列の集まり{[1,0],[1,0]}は重複元を持つ。
これをmultisetでなくsetで{[1,0]}と扱ってしまうと、
非零のベクトル1個で一次独立だから{1,4}∈Fになってしまう。
この場合、重複元があるからこそ一次従属になるので、
その状態を表現できる器が必要だということ。
青線の箇所は、multisetでないとまずい。
これが判らなかったということは、ベクトルマトロイドの定義が
理解できなかったことになるが?
赤線の箇所は、些細な点だ。
事実、君の言うとおりW=I1なのだが、証明の目的上、わざわざ
W=SpanI1を示す必要がなくて、既に示したW⊆SpanI1によって
dimW≦|I1|を言えば|I1|<|I2|との矛盾が言えるから、
話の流れ上そう扱っているだけだ。dimW≦|I1|であることに
間違いはないし。

135:132人目の素数さん
17/05/17 22:40:22.05 qXJvM7KZ.net
534 名前:132人目の素数さん[] 投稿日:2017/05/17(水) 09:05:58.90 ID:a66j11SR
URLリンク(imgur.com)
↑青い線を引いたところを見てください。
なぜ通常の集合ではなく「multiset」となっているのでしょうか?
↑赤い線を引いたところを見てください。
dim W ≦ |I_1|
となっていますが、
dim W = |I_1|
ですよね。
535 名前:132人目の素数さん[] 投稿日:2017/05/17(水) 09:08:25.08 ID:a66j11SR
>>534
書き忘れましたが、 V(m, F) は m 次元の F の元をスカラーとするベクトル空間のことです。
536 名前:132人目の素数さん[] 投稿日:2017/05/17(水) 09:38:33.42 ID:a66j11SR
>>534
multiset と書かれているのは全く同じ列ベクトルが行列に含まれていることがあるからですね。
582 名前:132人目の素数さん[] 投稿日:2017/05/17(水) 21:34:49.75 ID:a66j11SR
マトロイドって重要ですか?

136:132人目の素数さん
17/05/18 00:30:05.16 HNdmvkPh.net
何、回答を批判する手間さえ掛けずに、
直後に質問を再掲してんだよ。
ムカつく奴だな。

137:¥
17/05/18 03:36:16.24 txJJPOjc.net


138:¥
17/05/18 03:36:36.19 txJJPOjc.net


139:¥
17/05/18 03:36:55.27 txJJPOjc.net


140:¥
17/05/18 03:37:13.77 txJJPOjc.net


141:¥
17/05/18 03:37:32.84 txJJPOjc.net


142:¥
17/05/18 03:37:52.97 txJJPOjc.net


143:¥
17/05/18 03:38:12.04 txJJPOjc.net


144:¥
17/05/18 03:38:30.42 txJJPOjc.net


145:¥
17/05/18 03:38:54.19 txJJPOjc.net


146:¥
17/05/18 03:39:12.68 txJJPOjc.net


147:¥
17/05/18 03:39:31.40 txJJPOjc.net


148:¥ ◇2VB8wsVUoo
17/05/18 15:02:02.40 V+L0FNe0.net
分かっとるな

149:¥
17/05/18 15:40:23.25 txJJPOjc.net

>462 132人目の素数さん2017/05/16(火) 00:33:13.20ID:PrryPRav
>数学なんか理解しても人間性の評価に
>何の影響もないからどうでもいい
>
>いい大学の入試パスできる数学以外は
>使えん
>
>ゴミ
>
>526 132人目の素数さん2017/05/16(火) 23:03:37.74ID:5cxKtuwt
>東大含め、旧帝は数学5割で受かるから数学の本質理解など要らん
>
>数学は、入学したらさようなら
>
>529 132人目の素数さん2017/05/17(水) 00:38:50.34ID:t0rdrWYT
>数学なんてやる奴は社会に存在しないも
>同然だし、だれも見向きもしない
>
>ただの趣味でやってるだけで社会に情報提供も
>しないとなると、数学者はますますゴミクズになる
>
>知識を自慢したいがためだけに必死で数学やってる
>この板の人間が最悪
>
>531 132人目の素数さん2017/05/17(水) 01:20:58.31ID:t0rdrWYT
>本当に最悪なのは使えない数学が生きること
>
>数学的優越感こそ最大の悪
>

150:¥ ◇2VB8wsVUoo
17/05/18 16:09:06.16 2Uljm6aV.net
嫌儲

151:¥
17/05/18 16:37:34.98 txJJPOjc.net


152:¥
17/05/18 16:37:54.05 txJJPOjc.net


153:¥
17/05/18 16:38:13.36 txJJPOjc.net


154:¥
17/05/18 16:38:31.62 txJJPOjc.net


155:¥
17/05/18 16:38:51.05 txJJPOjc.net


156:¥
17/05/18 16:39:10.77 txJJPOjc.net


157:¥
17/05/18 16:39:31.87 txJJPOjc.net


158:¥
17/05/18 16:39:54.03 txJJPOjc.net


159:¥
17/05/18 16:40:19.17 txJJPOjc.net


160:¥
17/05/18 16:40:39.06 txJJPOjc.net


161:¥ ◇2VB8wsVUoo
17/05/25 17:17:07.63 xFe/DpeD.net
441 名前:132人目の素数さん[] 投稿日:2017/05/25(木) 17:14:13.20 ID:/hDMwyS6
>>428
Philip N. Klein "Coding the matrix"
p.207
Problem 4.6.12:
(For the student with knowlege of graph algorithms) Design an algorithm that,
for a given matrix, finds a list of a row-labels and a list of column-labels with
respect to which the matrix is triangular (or report that no such lists exist).
↑の問題を解きたくて質問しました。
ちなみに、↑の本での実行列の定義は、
U, V を有限集合とするとき、 U × V から R への写像のことを実行列という
です。
U が行ラベルで
V が列ラベルです

162:¥
17/05/25 19:18:06.31 R56WRUD5.net


163:¥
17/05/25 19:18:25.34 R56WRUD5.net


164:¥
17/05/25 19:18:46.49 R56WRUD5.net


165:¥
17/05/25 19:19:12.69 R56WRUD5.net


166:¥
17/05/25 19:19:34.98 R56WRUD5.net


167:¥
17/05/25 19:19:56.94 R56WRUD5.net


168:¥
17/05/25 19:20:19.43 R56WRUD5.net


169:¥
17/05/25 19:20:40.04 R56WRUD5.net


170:¥
17/05/25 19:21:01.49 R56WRUD5.net


171:¥
17/05/25 19:21:23.61 R56WRUD5.net


172:132人目の素数さん
17/05/25 20:37:41.49 //nVSL4r.net
821 名前:132人目の素数さん[] 投稿日:2017/05/25(木) 18:19:43.37 ID:/hDMwyS6
>>790
Philip N. Klein "Coding the matrix"
p.207
Problem 4.6.12:
(For the student with knowlege of graph algorithms) Design an algorithm that,
for a given matrix, finds a list of a row-labels and a list of column-labels with
respect to which the matrix is triangular (or report that no such lists exist).
↑の問題を解きたくて質問しました。
ちなみに、↑の本での実行列の定義は、
U, V を有限集合とするとき、 U × V から R への写像のことを実行列という
です。
U が行ラベルで
V が列ラベルです。
で、答えが分かりました。
O(n!) のアルゴリズムは分かりました。
U = {u_1, u_2, …, u_n}
V = {v_1, v_2, …, v_n}
行ラベルの順序を固定する。
[u_1, u_2, …, u_n]
列ラベルの n! 個ある順列
[v_τ(1), v_τ(2), …, v_τ(n)]
のそれぞれに対して、
以下の画像の問題の答えとなるアルゴリズムを修正(セルフループの除去)して使えばよい。
URLリンク(imgur.com)
822 名前:132人目の素数さん[] 投稿日:2017/05/25(木) 18:26:11.59 ID:/hDMwyS6
あ、 O(n!) ではないですね。
もっと計算時間がかかりますね。

173:132人目の素数さん
17/05/25 20:38:49.36 //nVSL4r.net
441 名前:132人目の素数さん[] 投稿日:2017/05/25(木) 17:14:13.20 ID:/hDMwyS6
>>428
Philip N. Klein "Coding the matrix"
p.207
Problem 4.6.12:
(For the student with knowlege of graph algorithms) Design an algorithm that,
for a given matrix, finds a list of a row-labels and a list of column-labels with
respect to which the matrix is triangular (or report that no such lists exist).
↑の問題を解きたくて質問しました。
ちなみに、↑の本での実行列の定義は、
U, V を有限集合とするとき、 U × V から R への写像のことを実行列という
です。
U が行ラベルで
V が列ラベルです。
442 名前:132人目の素数さん[] 投稿日:2017/05/25(木) 17:16:08.83 ID:/hDMwyS6
で、答えが分かりました。
O(n!) のアルゴリズムは分かりました。
443 名前:132人目の素数さん[] 投稿日:2017/05/25(木) 18:09:42.09 ID:/hDMwyS6
>>441
U = {u_1, u_2, …, u_n}
V = {v_1, v_2, …, v_n}
行ラベルの順序を固定する。
[u_1, u_2, …, u_n]
列ラベルの n! 個ある順列
[v_τ(1), v_τ(2), …, v_τ(n)]
のそれぞれに対して、
以下の画像の問題の答えとなるアルゴリズムを修正(セルフループの除去)して使えばよい。
URLリンク(imgur.com)
444 名前:132人目の素数さん[] 投稿日:2017/05/25(木) 18:26:43.49 ID:/hDMwyS6
あ、 O(n!) ではないですね。
もっと計算時間がかかりますね。

174:¥
17/05/25 20:55:27.38 R56WRUD5.net


175:¥
17/05/25 20:55:48.06 R56WRUD5.net


176:¥
17/05/25 20:56:08.26 R56WRUD5.net


177:¥
17/05/25 20:56:29.24 R56WRUD5.net


178:¥
17/05/25 20:56:50.47 R56WRUD5.net


179:¥
17/05/25 20:57:13.49 R56WRUD5.net


180:¥
17/05/25 20:57:35.63 R56WRUD5.net


181:¥
17/05/25 20:57:56.65 R56WRUD5.net


182:¥
17/05/25 20:58:15.62 R56WRUD5.net


183:¥
17/05/25 20:58:37.70 R56WRUD5.net


184:132人目の素数さん
17/06/01 22:06:22.81 NkA5Md9P.net
543 名前:132人目の素数さん[] 投稿日:2017/06/01(木) 12:50:19.32 ID:I9zwpMez
グラフ理論について質問です。

グラフ G = (V, E) の点集合 V の二つの部分集合 X, X' := V - X への
分割 (X, X') に対して、一方の端点が X に含まれ、他方の端点が X' に
含まれるような枝の集合 C(X, X') をカットセットと呼ぶ。カットセット C(X, X')
のどの真の部分集合もカットセットをなさないとき、このカットセットは初等的
であるという。

と教科書に書いてあります。
明らかに、あるカットセットの任意の真部分集合もまたカットセットなので、
この定義によると、初等的なカットセットは存在しないということにならないでしょうか?
547 名前:132人目の素数さん[] 投稿日:2017/06/01(木) 20:24:32.53 ID:I9zwpMez
>>546
ありがとうございます。
>>543
一方の端点が X に含まれ、他方の端点が X' に
含まれるような「すべての」枝の集合 C(X, X') をカットセットと呼ぶ。
という意味みたいですね。
あと「ある枝の集合がカットセットをなす」というのは、 V の部分集合 X, X' s.t. V = X ∪ X', X ∩ X' = φ
が存在して、C(X, X') に等しくなる時のことを言うみたいですね。
とにかく説明がひどすぎます。
548 名前:132人目の素数さん[] 投稿日:2017/06/01(木) 20:25:05.95 ID:I9zwpMez
URLリンク(imgur.com)
↑この本ですが、間違ったことも平気で書いています。
G = (V, E)
a, b ∈ V
1, 2 ∈ E
P1 = (a, 1, b, 2, a)
P2 = (a, 1, b)
とすると
E(P1) ∪ E(P2) はタイセットを含みません。
P1 と P2 を単なる道とはせずに、単純な道とすれば明らかにタイセットを含みますが。

↑は伊理正夫他著『演習グラフ理論』という本です。
この類の本では、正確な論証が命だと思いますが、出鱈目です。

185:¥
17/06/04 17:55:25.37 +ujylFoS.net


186:¥
17/06/04 17:55:43.93 +ujylFoS.net


187:¥
17/06/04 17:56:03.36 +ujylFoS.net


188:¥
17/06/04 17:56:21.94 +ujylFoS.net


189:¥
17/06/04 17:56:40.10 +ujylFoS.net


190:¥
17/06/04 17:56:58.65 +ujylFoS.net


191:¥
17/06/04 17:57:15.79 +ujylFoS.net


192:¥
17/06/04 17:57:33.86 +ujylFoS.net


193:¥
17/06/04 17:57:52.88 +ujylFoS.net


194:¥
17/06/04 17:58:12.96 +ujylFoS.net


195:132人目の素数さん
17/06/12 17:17:53.64 0ito7mL9.net
粗大ごみは死すべし

196:¥
17/06/12 18:02:55.27 Lt75QqGT.net
■■■馬鹿板をスルと菅官房長官みたいな嘘吐きになります。そやし止めなさい。■■■


197:¥
17/06/12 20:01:09.28 Lt75QqGT.net


198:¥
17/06/12 20:01:30.78 Lt75QqGT.net


199:¥
17/06/12 20:01:49.85 Lt75QqGT.net


200:¥
17/06/12 20:02:09.27 Lt75QqGT.net


201:¥
17/06/12 20:02:29.71 Lt75QqGT.net


202:¥
17/06/12 20:02:50.58 Lt75QqGT.net


203:¥
17/06/12 20:03:08.30 Lt75QqGT.net


204:¥
17/06/12 20:03:26.22 Lt75QqGT.net


205:¥
17/06/12 20:03:31.57 Lt75QqGT.net


206:132人目の素数さん
17/06/12 21:02:43.91 bgpySfsf.net
348 名前:デフォルトの名無しさん[] 投稿日:2017/06/12(月) 18:39:42.89 ID:yuw+moiO
class simpleNet:
■■■■def __init__(self):
■■■■■■■■self.W = np.random.randn(2,3) #標準正規分布による 2x3 の行列
■■■■def predict(self, x):
■■■■■■■■return np.dot(x, self.W)
■■■■def loss(self, x, t):
■■■■■■■■z = self.predict(x)
■■■■■■■■y = softmax(z)
■■■■■■■■loss = cross_entropy_error(y, t)
■■■■■■■■return loss
349 名前:デフォルトの名無しさん[] 投稿日:2017/06/12(月) 18:40:13.16 ID:yuw+moiO
x = np.array([0.6, 0.9])
t = np.array([0, 0, 1])
net = simpleNet()
f = lambda w: net.loss(x, t)
dW = numerical_gradient(f, net.W)
print(dW)

★★★★★★★★★★★★★
★↑の f がひどすぎる   ★
★★★★★★★★★★★★★
351 名前:デフォルトの名無しさん[] 投稿日:2017/06/12(月) 19:14:55.53 ID:yuw+moiO
>>350
間違っていないというのは分かりますが、あまりにもひどすぎます。
こんなひどいコードは見たことがありません。
352 名前:デフォルトの名無しさん[] 投稿日:2017/06/12(月) 19:16:21.04 ID:yuw+moiO
fxh1 = f(x) # f(x+h)
↑ここですが、
fxh1 = f(a)
とかでもいいわけです。
353 名前:デフォルトの名無しさん[] 投稿日:2017/06/12(月) 19:16:47.93 ID:yuw+moiO
こんなひどいコードを公にするという神経が分かりません。
害悪以外の何物でもありません。

207:¥
17/06/14 05:20:15.23 6+DmjjrM.net


208:¥
17/06/14 05:20:35.27 6+DmjjrM.net


209:¥
17/06/14 05:20:56.54 6+DmjjrM.net


210:¥
17/06/14 05:21:16.31 6+DmjjrM.net


211:¥
17/06/14 05:21:35.48 6+DmjjrM.net


212:¥
17/06/14 05:21:54.10 6+DmjjrM.net


213:¥
17/06/14 05:22:14.55 6+DmjjrM.net


214:¥
17/06/14 05:22:38.07 6+DmjjrM.net


215:¥
17/06/14 05:22:57.11 6+DmjjrM.net


216:¥
17/06/14 05:23:15.64 6+DmjjrM.net


217:132人目の素数さん
17/06/14 16:56:02.89 HgHC1C3l.net
猫二世の良心

218:¥
17/06/14 17:16:01.64 6+DmjjrM.net


219:132人目の素数さん
17/06/17 16:47:42.45 seT4nJ+a.net
似非爺の説教

220:¥
17/06/17 17:23:32.77 x2f6D4gs.net


221:132人目の素数さん
17/06/19 15:04:57.72 YRaMcLCC.net
823 名前:デフォルトの名無しさん[] 投稿日:2017/06/19(月) 12:00:30.55 ID:0IiK5rsw
斎藤康毅著『ゼロから作るDeep Learning』
ですが、多変数関数の連鎖律の説明が全くないですね。
いいんですかね?
(5.13)の前ところで、多変数関数の連鎖律を説明する必要があるはずです。
825 名前:デフォルトの名無しさん[] 投稿日:2017/06/19(月) 12:29:48.52 ID:0IiK5rsw
>>824
では、なぜ、1変数関数の微分の説明などを書いているのでしょうか?
1変数関数の微分など高校生なら誰でも知っています。
826 名前:デフォルトの名無しさん[] 投稿日:2017/06/19(月) 12:34:57.92 ID:0IiK5rsw
>>824
では、なぜ行列の積の定義など書いているのでしょうか?
この本では、「内積」などと書いてあって、線形代数の本を1冊も読んだことがないことが明白になっていますが。
828 名前:デフォルトの名無しさん[] 投稿日:2017/06/19(月) 12:48:40.61 ID:0IiK5rsw
斎藤さんが線形代数の本を読んだことがないことは、
p.149の(5.14)を見ても分かります。
Wの成分の添え字の付け方が標準的じゃないです。

222:¥
17/06/19 15:05:50.48 pqzlCEdf.net
★★★数学徒は馬鹿板をしない生活を送り、日頃から真面目に学問に精進すべき。★★★


223:¥
17/06/19 15:49:25.65 pqzlCEdf.net


224:¥
17/06/19 15:49:46.98 pqzlCEdf.net


225:¥
17/06/19 15:50:06.68 pqzlCEdf.net


226:¥
17/06/19 15:50:26.38 pqzlCEdf.net


227:¥
17/06/19 15:50:46.12 pqzlCEdf.net


228:¥
17/06/19 15:51:05.85 pqzlCEdf.net


229:¥
17/06/19 15:51:26.56 pqzlCEdf.net


230:¥
17/06/19 15:51:46.74 pqzlCEdf.net


231:¥
17/06/19 15:52:08.48 pqzlCEdf.net


232:¥
17/06/19 15:52:31.45 pqzlCEdf.net



最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
暇つぶし2ch

2440日前に更新/37 KB
担当:undef