- 1 名前：１３２人目の素数さん mailto:sage [2018/07/24(火) 22:37:56.37 ID:/xfRLODC.net]
- TeX関連の、質問･雑談用です。
過去スレ
TeX総合スレッド
science.2ch.net/test/read.cgi/math/1026634481/l50
science.2ch.net/math/kako/1026/10266/1026634481.html
TeX総合スレッド \newpage
science2.2ch.net/test/read.cgi/math/1059052915/l50
TeX総合スレッド\section{第3節}
science3.2ch.net/test/read.cgi/math/1086131126/l50
TeX総合スレッド4
science4.2ch.net/test/read.cgi/math/1112310000/l50
TeX総合スレッド\section{第5節}
science6.2ch.net/test/read.cgi/math/1163152490/
TeX総合スレッド\section{第6節}
science6.2ch.net/test/read.cgi/math/1192706133/
TeX総合スレッド VII
science6.2ch.net/test/read.cgi/math/1211579282/
TeX総合スレッド Ⅷ
science6.2ch.net/test/read.cgi/math/1236575191/
TeX総合スレッド VIII
kamome.2ch.net/test/read.cgi/math/1275532625/
\section{やっぱり TeX が好き} %%% 第 X 節 %%%
uni.2ch.net/test/read.cgi/math/1289210345/
\section{TeX の時間} %%% 第 XI 節 %%%
rio2016.2ch.net/test/read.cgi/math/1350610113/
\section{TeX の時間} %%% 第 XI 節 %%% Part.2
rio2016.5ch.net/test/read.cgi/math/1478997681/
- 643 名前：１３２人目の素数さん mailto:sage [2021/02/01(月) 22:47:34.64 ID:B942xoYs.net]
- scaleboxで拡大するようにマクロ定義すればいいんじゃね
- 644 名前：１３２人目の素数さん mailto:sage [2021/02/02(火) 23:13:37.55 ID:9lP+3EdC.net]
- シグマの件、解決しました
アドバイスくださった方ありがとうございました
あとはインテグラルですが…こっちはまずフォントの作り方から学ぶことにします…
- 645 名前：sage mailto:sage [2021/02/03(水) 03:59:54.85 ID:TOqCmiO+.net]
- 積分記号で、cmフォントをeulerに置き換える話は
xyoshiki.web.fc2.com/tex/sekib.html
の真ん中辺りにある。
- 646 名前：１３２人目の素数さん mailto:sage [2021/02/06(土) 17:15:23.27 ID:NDmJahnp.net]
- インテグラルを好きなのに変えたいという話ですが、そういうパッケージにあるようなのではなく、自分の好きなのに変えたいたいうことです
そのインテグラルのフォントすら持ってませんが、出力はできるので画像からフォントを生成することはできそうです
…が、いずれにしても積分記号をパッケージにないフォントに変えたいというのはTeXでは無理な話でしょうかね…
- 647 名前：１３２人目の素数さん mailto:sage [2021/02/06(土) 19:34:20.53 ID:aQ0dGD/d.net]
- なければ自作すれば良いと思いますが、メタフォントはインストールされていませんか？
それとも誰か作ってよ、ということ？
- 648 名前：１３２人目の素数さん mailto:sage [2021/02/07(日) 14:47:34.55 ID:EfVJzua2.net]
- >>620
お手軽に既製品を使うのではなく、
とことんこだわって自分の好きなように変更したいなら、
自分の好きに変更すればよいのではとしか言えんな。
あなたの能力的に「無理な話」かどうかは不明だけど、
技術的にはできるだろ。
まずは最初の1歩として、
TeXがどうやってインテグラルを表示しているかハックしたらどうか。
- 649 名前：１３２人目の素数さん mailto:sage [2021/02/08(月) 10:26:10.09 ID:DYNzR0Ba.net]
- フォントに拘ろうとするとTeXは本当に沼にはまるな
- 650 名前：１３２人目の素数さん mailto:sage [2021/02/08(月) 11:01:51.16 ID:KJZUcCw8.net]
- 一文字だけ特殊な文字使いたいというなら、metapostでフォント作るというのが正統な（？）気がするが、
無理やりでも良いなら、\includegraphicsでサイズ指定しつつpdfでもjpgでも読み込んで、\raiseboxで位置調整しちゃえば？
- 651 名前：１３２人目の素数さん mailto:sage [2021/02/08(月) 23:43:26.48 ID:aHJvWRrn.net]
- >>623
フォント TeXは地獄だぜ！ フゥハハハーハァー (AA略)
- 652 名前：１３２人目の素数さん mailto:sage [2021/02/09(火) 18:05:34.73 ID:s+7CLaRA.net]
- >>625
分かっていたら、そんなことない。
べつにTeXにかぎらず、フォントは地獄。
OpenTypeフォントの CFF の仕様を読んでみ？ アレ、もう少しまともに設計できるやろって突っ込みたくなるからｗ
- 653 名前：１３２人目の素数さん mailto:sage [2021/02/12(金) 10:23:07.82 ID:n5pnCF8Y.net]
- 色々ありがとうございます
画像を読み込んでmetafontに変換するツールとかってないですよね？1から作るのはさすがに無理そうですね…
- 654 名前：１３２人目の素数さん mailto:sage [2021/04/20(火) 07:54:44.56 ID:waCYANQb.net]
- $e^{z^2}$
と書いたときの、2が大きすぎて気に入らないでござる。
- 655 名前：１３２人目の素数さん mailto:sage [2021/04/20(火) 14:20:37.40 ID:mThV6Hrn.net]
- >>628
よかったですね！！
- 656 名前：１３２人目の素数さん mailto:sage [2021/04/21(水) 10:40:22.71 ID:pGWFscpj.net]
- ¥begin{enumerate}
¥item abcde(全角スペース)fghij
¥item klmno(全角スペース)pqrst
¥end{enumerate}
とするとfghijとpqrstの左端が縦に揃いません。¥!などで微調整しなくて済む、うまい方法はありませんか。
tabular環境なら簡単ですが、
- 657 名前：enumerate環境でやりたいのです。 []
- [ここ壊れてます]
- 658 名前：１３２人目の素数さん mailto:sage [2021/04/21(水) 12:52:33.68 ID:mg4VHOkz.net]
- >>630
abcdeとklmnoが同じ文字列幅だと思っているのですか？
- 659 名前：１３２人目の素数さん mailto:sage [2021/04/21(水) 16:50:13.60 ID:cG/X5U6h.net]
- いつものウンチ野郎様>>631が現れたぜ！
- 660 名前：１３２人目の素数さん mailto:sage [2021/04/21(水) 18:09:59.56 ID:Pp3QWtpk.net]
- いいじゃないの
人間だもの
- 661 名前：１３２人目の素数さん mailto:sage [2021/04/22(木) 18:29:54.82 ID:oxoq72CY.net]
- ●インストール失敗の原因となっている可能性があるもの
ユーザーフォルダが全角文字（漢字）
- 662 名前：１３２人目の素数さん mailto:sage [2021/04/22(木) 18:53:14.10 ID:4+c2qRcF.net]
- \makebox[適当な幅]{abcde}
\makebox[適当な幅]{fghij}
て同じ幅に見せるとかが手っ取り早くない？
- 663 名前：sage mailto:sage [2021/04/22(木) 19:52:36.23 ID:oxoq72CY.net]
- >>630
tabular環境で出来るならlistliketab.styを使えばいいんじゃない。
- 664 名前：１３２人目の素数さん mailto:sage [2021/04/23(金) 07:02:19.13 ID:hYS7LhkC.net]
- >>635
>>636
¥makeboxでできました。ありがとうございました。
- 665 名前：１３２人目の素数さん mailto:sage [2021/04/27(火) 14:47:58.75 ID:B93FoD+U.net]
- (-2) はちゃんと表示されるのに、|-2| は - と 2 の間隔が…
- 666 名前：１３２人目の素数さん mailto:sage [2021/04/27(火) 15:59:22.14 ID:uLyxge6K.net]
- >>638
¥usepackage{amsmath}
$(-2)$
$|-2|$
$¥lvert -2¥rvert$
- 667 名前：１３２人目の素数さん mailto:sage [2021/04/27(火) 17:08:03.42 ID:B93FoD+U.net]
- >>639
ありがとう。 苦肉の策で | {-2} | と括弧でくくってた。
- 668 名前：１３２人目の素数さん mailto:sage [2021/04/30(金) 00:16:30.93 ID:C6pCckqW.net]
- >>640
>>99-101 読むと心の安寧が得られるかもしれません
- 669 名前：１３２人目の素数さん mailto:sage [2021/04/30(金) 00:27:29.36 ID:Xe4nArOd.net]
- むむむ…
- 670 名前：１３２人目の素数さん mailto:sage [2021/07/10(土) 11:16:14.12 ID:Zfp9TPs1.net]
- w32tex しばらく更新がないなぁ、と思っていたら404 Not Foundだって
- 671 名前：１３２人目の素数さん mailto:sage [2021/07/10(土) 16:51:04.00 ID:PEAlK4K0.net]
- >>643
６月24日が最終更新日でした。
- 672 名前：１３２人目の素数さん mailto:sage [2021/07/11(日) 08:13:33.91 ID:0PRasnVo.net]
- 今から入れるならほぼTeX Live一択だろうしなあ
pLaTeXの互換性大丈夫なのかみたいな話もあるし
- 673 名前：１３２人目の素数さん mailto:sage [2021/07/11(日) 17:43:46.52 ID:9ZDavAwT.net]
- 阿部さんのインストーラ3
https://www.ms.u-tokyo.ac.jp/~abenori/soft/abtexinst.html
も停止になるよね。
- 674 名前：１３２人目の素数さん mailto:sage [2021/07/11(日) 21:22:22.79 ID:Vuy4u6lf.net]
- 困りましたなあ。
- 675 名前：１３２人目の素数さん mailto:sage [2021/07/12(月) 01:37:45.36 ID:6d7r8hyf.net]
- 別に何も困らん。
- 676 名前：１３２人目の素数さん [2021/07/25(日) 23:24:10.57 ID:3IwVbkWf.net]
- TEXをpdfにする方法ってどうすればいいの？
- 677 名前：１３２人目の素数さん [2021/07/25(日) 23:50:20.88 ID:73m/AH2i.net]
- TEXの何をpdfにしたいのか
- 678 名前：１３２人目の素数さん mailto:sage [2021/07/27(火) 11:17:19.80 ID:vT9XoGHf.net]
- 直接、PDFの言語を直書きすればいい。
- 679 名前：１３２人目の素数さん mailto:sage [2021/08/21(土) 10:49:43.05 ID:a0UCkjEM.net]
- （1）「まずインターネット検索！！」
検索すれば「答え」がヒットするのだから、それをコピペすればよい。
ヒットした情報の信頼性チェックなどはしない。
（2）二言目には「再インストール」
トラブルの原因を理解しようとしたり、その対応策を模索するよりも、
トラブったらサクっとシステム自体の再インストールを強く推奨。
（3）ダウンロードしたデータの同一性確認を頻繁に要請
やたらファイルのハッシュ値やチェックサムの比較を求める。
（4）必要以上に情報開示を要求
既に問題点は明白になっているにも拘わらずそれに気付けず、ソースや
ログを zip で添付しろとばかり言う。
（5）安易に他者に投げる
ネット検索では埒が明かないとなると、途端に「詳しい方」や「識者」に
向けて Help! と叫ぶ。
---
いいじゃないの
人間だもの
- 680 名前：１３２人目の素数さん mailto:sage [2021/08/27(金) 09:00:53.29 ID:7ezT7gpH.net]
- \renewcommand{\thechapter}{\jlreq@Kanji{mychapter}}
こんなのを初心者にエラそうにご教示申し上げるとは
場当たり的にしか問題解決出来ない証拠
「あまり行儀がよくない」なんて言い方は優しすぎる
- 681 名前：１３２人目の素数さん mailto:sage [2021/08/27(金) 10:22:44.23 ID:TH7rFwOV.net]
- あの手の掲示板の質問は、「TeX言語の質問」と断りや言及がないかぎり、
「LaTeXの質問」だから、LaTeXで答えるべき。
ごちゃごちゃとTeX on LaTeXで書いて、「どや！」な回答は、全部非表示にすべき。
- 682 名前：１３２人目の素数さん mailto:sage [2021/08/27(金) 10:29:38.59 ID:WjwTsc5D.net]
- TeXユーザ、選民思想もってる人多そうだしな～
- 683 名前：１３２人目の素数さん mailto:sage [2021/09/02(木) 21:19:30.42 ID:9W5FrDrd.net]
- かつての TeX Q & A 時代には，おかしな質問をすると当時の
「掲示板の主」から説教が返ってきたりしたものだった。
それに引き換え今の「TeX Forum の主」は，
＞ LaTeX2e と TeXlive の違いは恥ずかながらよくわかりません
とか
＞ latex2e の環境の構築が困難なのでご要望に応えられないかもしれませんが
などとのたまうお方。
なので，まるで慈父であるかのような口ぶりでアドバイス下さる
ことはあるものの，変な質問をする質問者と同レベルの変な回答
ばかりなので，不思議とバランスがとれてるようにも見える。
- 684 名前：１３２人目の素数さん mailto:sage [2021/09/05(日) 08:53:03.16 ID:wNeA6ScP.net]
- だんだんと若い人たちに世代交替していくんだろうなと思っていたら
いつの間にやら 70 オーバーの方々ばかりが集うフォーラムになってた
- 685 名前：１３２人目の素数さん mailto:sage [2021/09/05(日) 10:32:17.31 ID:8WbP8yo3.net]
- 日本において、比較的多くの若い人は、（科学の学術論文であっても、）TeXなんか使わず、Word（Google Docを含む）を使う。
- 686 名前：１３２人目の素数さん mailto:sage [2021/09/21(火) 23:00:56.18 ID:B6wY5oWm.net]
- ワードなんてつかって、重くならないのかな
- 687 名前：１３２人目の素数さん mailto:sage [2021/09/22(水) 00:28:58.29 ID:Lp0IL19D.net]
- TeXの美しさに慣れているから、Wordの小汚いフォントは使えない。
- 688 名前：１３２人目の素数さん mailto:sage [2021/09/22(水) 08:53:38.77 ID:RKoA4w0+.net]
- フォントさえ TeX と同じならいいんか？
ttps://farmdoc.illinois.edu/irwin/research/The_Case_for_Fake_LaTeX_public.pdf
- 689 名前：１３２人目の素数さん [2021/11/12(金) 20:21:46.86 ID:MQrhnhHe.net]
- MiKTeXの質問良かですか
- 690 名前：１３２人目の素数さん mailto:sage [2021/11/13(土) 00:52:02.40 ID:/SmCnnNs.net]
- MiKTeXを使う行動原理が理解できない
- 691 名前：１３２人目の素数さん mailto:sage [2021/11/13(土) 05:57:52.13 ID:aA3cavVC.net]
- こういうのを無くしていかないといけない
https://blog.wtsnjp.com/2020/07/07/about-mactex/
https://self-development.info/miktexのwindowsへのインストール/
- 692 名前：１３２人目の素数さん [2021/11/13(土) 13:13:28.69 ID:mtRXTHpu.net]
- https://ichiro-maruta.blogspot.com/2013/03/latex.html
- 693 名前：１３２人目の素数さん mailto:sage [2021/11/13(土) 19:35:07.70 ID:/SmCnnNs.net]
- MacTeXは無くなってほしいと思う。
macOS上でTeX Liveを素直に入れればよい。
- 694 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 13:30:25
]
- [ここ壊れてます]
- 695 名前：.32 ID:s64In/86.net mailto: TeXは好きなもの以外のものを毛嫌いするより、いろいろ使えるようになっておく方がいいと思う。 []
- [ここ壊れてます]
- 696 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 13:50:05.26 ID:dNxhSvWF.net]
- すみません、解決したいのでマルチさせてください
https://mevius.5ch.net/test/read.cgi/unix/1600179748/247
よろしくお願いいたします
- 697 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 16:49:17.75 ID:u+nEm4Pr.net]
- マクロ開発者の立場に立てばわかる。古いのは早く消えて欲しい。
複数のバージョンに対応させるのめんどい。
開発しやすいバージョンだけが残って全部それに揃えるべき、
文句あったら永久に今のバージョン使い続けるか、自分でメンテしろとなる。
オープンソースは開発者の理論が優先で、純粋な利用者の出る幕はない。
- 698 名前：１３２人目の素数さん mailto:sage [2021/11/14(日) 18:19:46.47 ID:gkDG2Sir.net]
- 見当はずれの筋の悪いアドバイスばかりしてくる
時間を持て余した教え魔の中高年男性というのは
最近どこのコミュニティでも頭の痛い問題
- 699 名前：１３２人目の素数さん mailto:sage [2021/11/15(月) 10:25:07.22 ID:dIXvDQDl.net]
- そもそもちょっと触ったら壊れるから
もう怖くてこれ以上触れない
って環境やばくね
- 700 名前：１３２人目の素数さん mailto:sage [2021/11/15(月) 11:10:14.22 ID:dIXvDQDl.net]
- >>668
\onecolumn だと詰まるね
- 701 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 09:43:58.66 ID:se6OBQAJ.net]
- うーん詰まらないですね・・・
align*の1行目に何か入れると正常な挙動をするように見えます
恐らく\lineht@という長さで制御しているようなのですが、
tagを2行目で呼び出すとこの\lineht@がalign*内のもっとも深い行のdepthに一致してしまいます
どなたか・・・
- 702 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 14:34:37.36 ID:se6OBQAJ.net]
- >>673
ごめんなさい、「tagを1行目で呼び出すと」です
- 703 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 19:35:46.83 ID:73CJjVmQ.net]
- >>673
とりあえず、
・TL12, TL13のamsmath：たぶん、期待値どおり
・TL14以降のamsmath：ダメダメ
が分かったので、もうちょっと調べてみるわ。
- 704 名前：１３２人目の素数さん mailto:sage [2021/11/18(木) 20:11:37.19 ID:73CJjVmQ.net]
- >>673
すまん、 >>673 の続きは一旦pending。
pdflatexでも調べたら、また違うので。
- 705 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 02:26:20.08 ID:ZKaUzjzw.net]
- >>673
その場しのぎだが、どうせ1行目にタグは入らないので、タグを2行目にまわしたら？
\documentclass[a5paper, fleqn, uplatex, 10ptj, nomag, dvipdfmx]{jsarticle}
\usepackage{amsmath, amssymb}
\begin{document}
%旧（ruleの数値は変えた）
\begin{align*}
a=a=a=a=a=a=a=a=a=a=a=a=a=a\tag*{たぐ} \\
b=b\rule[-3cm]{1mm}{3cm}
\end{align*}
%新
\begin{align*}
a=a=a=a=a=a=a=a=a=a=a=a=a=a \\ \tag*{たぐ} \\
b=b\rule[-3cm]{1mm}{3cm}
\end{align*}
\end{document}
- 706 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 04:24:59.50 ID:ijBBVcJT.net]
- align環境だから、&を入れた話をした方がいいような気がする。
- 707 名前：１３２人目の素数さん mailto:sage [2021/11/21(日) 20:49:55.61 ID:ZKaUzjzw.net]
- ＆つけても上の方は変。（TeX Live 2020）
\documentclass[a5paper, fleqn, uplatex, 10ptj, nomag, dvipdfmx]{jsarticle}
\usepackage{amsmath, amssymb}
\begin{document}
\begin{align*}
a&=a=a=a=a=a=a=a=a=a=a=a=a=a\tag*{たぐ} \\
b&=b\rule[-3cm]{1mm}{3cm}
\end{align*}
\begin{align*}
a&=a=a=a=a=a=a=a=a=a=a=a=a=a \\ \tag*{たぐ} \\
b&=b\rule[-3cm]{1mm}{3cm}
\end{align*}
\end{document}
- 708 名前：１３２人目の素数さん mailto:sage [2021/11/22(月) 10:04:21.18 ID:QJqGB3oF.net]
- 長い式のときは、途中で折り返せばいいんじゃないの。
\documentclass[a5paper,fleqn, uplatex, 10ptj, nomag, dvipdfmx]{jsarticle}
\usepackage{mathtools}
\begin{document}
\begin{align}
a&=a=a=a=a=a=a=a=a=a=a\notag \\
&\quad=a=a=a \tag*{たぐ} \\
b&=b\rule[-3cm]{1mm}{3cm}\notag
\end{align}
\end{document}
- 709 名前：１３２人目の素数さん mailto:sage [2021/12/05(日) 20:46:32.75 ID:1ZxNjSrk.net]
- これからTex始めるんだけどこれ読めばいいの？
LaTeX2ε美文書作成入門 奥村
- 710 名前：１３２人目の素数さん [2021/12/05(日) 22:38:30.83 ID:oPJmTyyQ.net]
- クヌースオヌヌメ
- 711 名前：１３２人目の素数さん mailto:sage [2021/12/05(日) 23:10:26.47 ID:fiDethdq.net]
- TeX（言語）を始めるのか、LaTeXを始めるのか、はたまた、ConTeXtを始めるのか。
- 712 名前：１３２人目の素数さん mailto:sage [2021/12/06(月) 09:36:22.36 ID:4hk0C0pK.net]
- 数学の論文をTexで書くためです
- 713 名前：１３２人目の素数さん mailto:sage [2021/12/06(月) 21:54:15.18 ID:QxV5vNSQ.net]
- じゃあ奥村本がちょうどいいのでは
- 714 名前：１３２人目の素数さん mailto:sage [2021/12/07(火) 09:46:04.24 ID:kprC31LV.net]
- ありがとう
- 715 名前：１３２人目の素数さん mailto:sage [2021/12/14(火) 22:54:41.85 ID:CH06LJg+.net]
- 美文書作成ってTeX使ってる人のほとんどが読んでる感じなのかね？ボロ儲けだな
- 716 名前：１３２人目の素数さん [2021/12/14(火) 23:07:27.38 ID:q/qqWdoi.net]
- LaTeX界のアティマク
- 717 名前：１３２人目の素数さん mailto:sage [2021/12/15(水) 09:22:18.94 ID:MfLQkDlK.net]
- LaTex界のラスボス、悪魔
- 718 名前：１３２人目の素数さん mailto:sage [2021/12/16(木) 22:07:55.69 ID:fGfHWabD.net]
- すいませんお伺いしたいのですが
画像はいずれも慶應大学の入試問題ですが、見ての通りTeXで作られてるようですが
この図もTikzで描かれてるんでしょうか？こういう和算みたいな図もTikzで描けるんでしょうか
https://imgur.com/515ln7N.jpg
https://imgur.com/Ah3twPE.jpg
https://imgur.com/ASoECcq.jpg
https://imgur.com/fEGUhIH.jpg
- 719 名前：１３２人目の素数さん mailto:sage [2021/12/16(木) 22:32:06.84 ID:Hy4FkMaW.net]
- Tikzで簡単に描ける
- 720 名前：１３２人目の素数さん mailto:sage [2021/12/16(木) 23:13:26.26 ID:fGfHWabD.net]
- >>691
描き方教えていただけませんか
マニュアルは一応見はしましたが膨大かつ英語で見ても分からなかったので…
- 721 名前：１３２人目の素数さん mailto:sage [2021/12/16(木) 23:40:55.13 ID:jVXs9Yix.net]
- >>692
勉強しろ！
英語ぐらい、読め！
英語を読めなければ、Google先生に機械翻訳してもらったのを読め！
それでも理解できないようなら、TikZじゃない方法を使え！
絵ぐらい、手書きでもかけるやろ！
むしろ、LaTeXを使うのを諦めろ、Wordでも使っとけ！
- 722 名前：１３２人目の素数さん mailto:sage [2021/12/16(木) 23:53:02.88 ID:Hy4FkMaW.net]
- >>692
ググると日本語の参考資料結構出てくるよ
- 723 名前：１３２人目の素数さん mailto:sage [2021/12/19(日) 07:55:57.46 ID:9fI3eSUa.net]
- https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13253807418
数式組版ソフトTeXおよびtikzの質問です． 画像はどちらも慶應大学の入試問題の図形ですが，
このような図形も，tikzで描いているのでしょうか？
- 724 名前：１３２人目の素数さん mailto:sage [2021/12/19(日) 09:09:39.71 ID:rtmctaLf.net]
- なんで同じ質問何回もするの
- 725 名前：１３２人目の素数さん mailto:sage [2021/12/19(日) 15:59:35.53 ID:wrHI75Ov.net]
- $a_{-1}$
と書くと、添字の -1の - と 1 の間に微妙な隙間ができてしまう。
x-y のときのような隙間ができるんだけど、どう書けばいいのかな？
- 726 名前：１３２人目の素数さん mailto:sage [2021/12/19(日) 16:24:58.43 ID:9fI3eSUa.net]
- >>697
\documentclass{jsarticle}
\usepackage{mathtools}
\begin{document}
$x_{-1}$
$x_{\negmedspace-1}$
\end{document}
- 727 名前：１３２人目の素数さん mailto:sage [2021/12/19(日) 16:55:35.36 ID:wrHI75Ov.net]
- >>698
迅速な回答ありがとうございます。
単項演算子と二項演算子の扱いが、通常の式では区別しているのに、添字や冪では考慮されないんですね。
- 728 名前：１３２人目の素数さん mailto:sage [2021/12/20(月) 01:12:31.13 ID:99dPWkv0.net]
- >>695
知恵袋って回答がつかないと自動でまた投稿されるんですよ
上の図ですがやっぱり描き方が分からないので、フォーラムの方でも聞いてみようかと思うんですがあっちで聞いても同じでしょうか？
- 729 名前：１３２人目の素数さん mailto:sage [2021/12/20(月) 10:32:19.60 ID:NPjDLz7W.net]
- 素朴な質問ですが現時点ではLuaTexとレガシーTex両方勉強する必要がありますか？
- 730 名前：１３２人目の素数さん mailto:sage [2021/12/20(月) 10:45:57.46 ID:KZYjiElE.net]
- >>700
だから、勉強するか、
お絵かきソフトで描けばええやろ？
TikZで記述するとしても、お絵かきソフトで描くパーツを分解して、
それぞれコードに当てただけやん。
だから、TikZを勉強する気がないなら、お絵かきソフトで描けばええやん。
InkscapeでもAdobe Il
- 731 名前：lustratorでもなんでもええやん。 []
- [ここ壊れてます]
- 732 名前：１３２人目の素数さん mailto:sage [2021/12/20(月) 10:49:17.60 ID:KZYjiElE.net]
- 図を手書きで書いてもいいと思います。
もしくは、誰かに有償でイラストレーターさんに発注するか、
有償でLaTeXができそうな人や会社に発注したらいいと思います。
- 733 名前：１３２人目の素数さん mailto:sage [2021/12/20(月) 10:55:24.94 ID:KZYjiElE.net]
- >>700
TikZ and PGF examples
https://texample.net/tikz/examples/
ググれば、ほかにもいくらでもサンプルが公開されているけど
- 734 名前：１３２人目の素数さん mailto:sage [2021/12/20(月) 11:04:30.74 ID:KZYjiElE.net]
- >>700
さいきん、フォーラムでしつもんすると、
初心者が大好物の教え魔じいさん
がおしえてくれるそうです
UNIX板¥chapter{¥TeX} % 第十二章
https://mevius.5ch.net/test/read.cgi/unix/1600179748/258-260
- 735 名前：１３２人目の素数さん mailto:sage [2021/12/25(土) 20:49:22.14 ID:IiL1RcOJ.net]
- >>690
>>695 の知恵袋のほうでは質問内容が増えてて
> 外接や内接，接する，というのが多用されていますが，tikzには接する，というのを
> 描画する機能はあったりするんでしょうか．
と書いてあったので、「tikzの機能を使って円たちの半径比求める問題を
解くことができるか？」に期待してるのかもしれないけど、その答えはno.
「円たちの半径と中心座標を代数的に解いた後でtikzで正確な内接外接を描けるか？」
という質問なら、yes.
- 736 名前：１３２人目の素数さん mailto:sage [2021/12/25(土) 20:50:26.34 ID:IiL1RcOJ.net]
- で自分はtikzはニワカなので替わりにasymptoteで書いてみた
>>690 のふたつめ
texpreamble("\usepackage[whole]{bxcjkjatype}");
// 甲円, 乙円, 丙円の半径: r, a, x
// 甲円, 上甲円, 乙円, 上乙円, 丙円の中心座標: cK, cKU, cO, cOU, cH
real a = 1/2, r = 4*a, x = (16+7*sqrt(5))/11*a;
pair cK = (r, r), cKU = (0, r+sqrt(20)*a);
pair cO = (0, a), cH = (0, cKU.y+r-x), cOU = (cK+cKU)/2;
path uc = unitcircle, pO = scale(a)*uc, pK = scale(r)*uc, pH = scale(x)*uc;
draw(scale(2.2*r)*(W--E));
label("乙", cO);label("乙", cOU);label("乙", xscale(-1)*cOU);
draw(shift(cO)*pO^^shift(cOU)*pO^^shift(xscale(-1)*cOU)*pO);
label("甲", cK);label("甲", xscale(-1)*cK);label("甲", cKU+r*W+r*N/2);
draw(shift(cK)*pK^^shift(xscale(-1)*cK)*pK^^shift(cKU)*pK);
label("丙", cH);
draw(shift(cH)*pH);
size(100mm);
- 737 名前：１３２人目の素数さん mailto:sage [2021/12/26(日) 00:50:32.33 ID:zTUw/3/6.net]
- >>707
ニカウさん生きていたか…
- 738 名前：１３２人目の素数さん mailto:sage [2021/12/26(日) 18:54:26.69 ID:lKk8Jw0h.net]
- 親切な方ありがとうございます
自分もtexampleのを参考にやってみてますが、やはり具体的な数値が分かってないと描けないみたいですね…
- 739 名前：１３２人目の素数さん mailto:sage [2021/12/26(日) 22:43:31.72 ID:bAVgZqVU.net]
- なので、お絵かきツールで書いたらいいんです。
- 740 名前：１３２人目の素数さん mailto:sage [2021/12/27(月) 09:56:41.04 ID:1X/xY2gI.net]
- WinTpicでいいなじゃない
- 741 名前：１３２人目の素数さん mailto:sage [2021/12/27(月) 11:06:36.55 ID:g2/I/Ety.net]
- とにかく、TikZが分かんないは、WinTpicでも、他のお絵かきツールを使っとけ！
一回ポッキリの図をTikZで書くほうが正直メンドイ
頭の中でどう描くのか分かる人だけが、TikZを使えばええよ
- 742 名前：１３２人目の素数さん [2021/12/27(月) 21:54:56.62 ID:sZjrUKG2.net]
- >>712
>一回ポッキリの図をTikZで書くほうが正直メンドイ
そんなのケースバイケース。TikZで書いた方が早いケースや、
TikZでないとなかなか実現しない図（spyライブラリとか）も、
1回ぽっきりでもTikZの一択。
1回ぽっきりのRやGraphvizの出�
- 743 名前：ﾍを微修正するときも、
RやGraphvizの中で修正するよりも、TikZの中で修正した方がラク。 [] - [ここ壊れてます]
- 744 名前：１３２人目の素数さん mailto:sage [2022/01/03(月) 11:59:18.51 ID:5QxEdDZe.net]
- $k_1 a_1^2 + k_2 a_2^2 + … + k_j a_j^2$
と書くとき、k の下添字と a の下添字の高さが揃わなくなるのが少し気になる。
大した問題じゃないんだけど、痒い所に手が届く方法はないですか？
- 745 名前：１３２人目の素数さん [2022/01/03(月) 12:26:24.82 ID:mAeFR29y.net]
- >>714
高さが揃わない方が自然な感じがするけど、
どうしても揃えたいなら、
$k^{}_1 a_1^2 + k_2 a_2^2 + ¥ldots + k_j a_j^2$
という感じで「^{}」をはめていけば同じ高さになる。
- 746 名前：１３２人目の素数さん mailto:sage [2022/01/03(月) 12:49:10.04 ID:5QxEdDZe.net]
- なるほど、簡単なことでしたね。ありがとうございます。
ルートの高さを揃えるときみたいに、なんか方法があるのかなと思っていました。
- 747 名前：１３２人目の素数さん mailto:sage [2022/01/03(月) 18:52:02.77 ID:9vW3KEXK.net]
- >>716
「ルートの高さを揃える」っていったって、
¥mathstrutの実体は
¥vphantom{(}
とやっているだけなので、
結局場当たり的すぎて、あまり使えないです。
- 748 名前：１３２人目の素数さん mailto:sage [2022/01/03(月) 21:13:45.69 ID:ueNvaXIi.net]
- 知らんかったです。ありがとう勉強になりました。
- 749 名前：１３２人目の素数さん [2022/01/04(火) 01:23:13.64 ID:85SjC5Pc.net]
- つsubdepth
- 750 名前：１３２人目の素数さん mailto:sage [2022/01/04(火) 19:32:07.73 ID:mt4UyQxJ.net]
- >>719
これは、下添字の高さを変えずに、上添字の高さを挙げているんですな。
なるほどありがとう。
- 751 名前：１３２人目の素数さん mailto:sage [2022/01/19(水) 00:26:01.65 ID:34MeiKVp.net]
- (u)pLaTeXってまだ使ってるやついるのかな
- 752 名前：１３２人目の素数さん mailto:sage [2022/01/19(水) 01:05:51.30 ID:+DDTIaQN.net]
- ここにいるぞ
- 753 名前：１３２人目の素数さん mailto:sage [2022/01/19(水) 02:34:09.82 ID:Mh5zZY5p.net]
- 世の中、いまだにu付きじゃないplatexばっかりだぞ。
- 754 名前：１３２人目の素数さん mailto:sage [2022/01/19(水) 03:19:22.26 ID:1WTE6zFQ.net]
- lualatex使えよ
- 755 名前：１３２人目の素数さん mailto:sage [2022/01/19(水) 08:01:57.55 ID:+DDTIaQN.net]
- luatexもxetexも、今までの資産がそのままだと動かなくてな
latex3待ちですわｗ
- 756 名前：１３２人目の素数さん mailto:sage [2022/01/19(水) 09:58:21.78 ID:owiPnePx.net]
- よほど変なソース書いてなけりゃLuaLaTeXでコンパイルできると思うけど…
- 757 名前：１３２人目の素数さん mailto:sage [2022/01/19(水) 11:42:36.53 ID:NBawVzYq.net]
- 論文投稿はLuaLatexだけ覚えればいいの？
- 758 名前：１３２人目の素数さん mailto:sage [2022/01/19(水) 13:01:20.05 ID:/c7bopC2.net]
- 論文ってソースで提出じゃない？
よほど変なスタイルファイルでない限り処理系の差は気にしなくていいと思うけど…
- 759 名前：１３２人目の素数さん mailto:sage [2022/01/19(水) 14:28:40.62 ID:NBawVzYq.net]
- ありがとう
- 760 名前：１３２人目の素数さん [2022/01/27(木) 23:47:36.90 ID:I2FzVPYe.net]
- 波線の枠（複数行も可のもの）を作りたいんですが、いい方法ご存じの方いませんか？
- 761 名前：１３２人目の素数さん mailto:sage [2022/01/28(金) 00:06:22.83 ID:L97ZruFp.net]
- >>730
手書きする
- 762 名前：１３２人目の素数さん mailto:sage [2022/01/28(金) 02:23:51.79 ID:6KSS+MEK.net]
- tikz使ったパッケージでそんなのありそうな気がするなぁ
- 763 名前：１３２人目の素数さん [2022/01/28(金) 06:23:24.91 ID:SRKLkonp.net]
- >>730
umrandとかniceframeとかdashboxとかrefractとか
- 764 名前：１３２人目の素数さん [2022/01/29(土) 21:48:10.48 ID:CqiHReaA.net]
- >>731
やってみます笑
>>732,733
ありがとうございます
探してみますm(_ _)m
- 765 名前：１３２人目の素数さん [2022/01/30(日) 10:01:35.07 ID:AebVW8ek.net]
- >>730
横向きは¥leaders系使うけど縦はなぁ
- 766 名前：１３２人目の素数さん mailto:sage [2022/02/26(土) 00:45:20.03 ID:aCXT4C0b.net]
- センター試験・共通テストのフォントは
和文が「平成明朝体W3」、数式が「CenturyOldst」とのことらしいんですが、
これらをLaTeXで組んで出力することは可能？
- 767 名前：１３２人目の素数さん mailto:sage [2022/02/26(土) 03:04:52.89 ID:ZfoxET02.net]
- >>736
もちろ
- 768 名前：ん、やろうと思えば、やればできる []
- [ここ壊れてます]
- 769 名前：１３２人目の素数さん mailto:sage [2022/03/01(火) 09:03:44.92 ID:Sx0EAil5.net]
- よろしければ、日本人のためのサンプルコードを紹介していただけないでしょうか？
- 770 名前：１３２人目の素数さん mailto:sage [2022/03/12(土) 20:51:01.29 ID:+WWCnbfX.net]
- 複素関数の本を読んでいたら、ハルナックの不等式が出てきた。春泣く不等式
- 771 名前：１３２人目の素数さん mailto:sage [2022/04/04(月) 10:56:43.42 ID:70roguTi.net]
- ガンマ関数 Γ(z) は、斜体と立体のどっちがよく使われますか？
手元の数学書を見ると、どっちもあるので悩みます。
検索すると、wikiなどは立体ですね。
- 772 名前：１３２人目の素数さん [2022/04/17(日) 11:56:37.33 ID:muQuOPBf.net]
- >>102
Whizzytex (Linux用)
もしくは
JTeX (Mac用)
あたりですかね。今流行りのlatexmkよりは断然速いと思う。
TeXStudioとTeXWorksの内蔵プレビューアはカーソル同期が素晴らしいけど、
手動でファイルの更新しないとプレビューに反映されない。
- 773 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 15:03:56.70 ID:EOy3drb9.net]
- Weierstrass のペー関数の P はどのフォントですかね？
- 774 名前：sage mailto:sage [2022/04/24(日) 18:04:35.31 ID:75caM4Xv.net]
- \wp
- 775 名前：１３２人目の素数さん mailto:sage [2022/04/24(日) 18:13:40.90 ID:EOy3drb9.net]
- >>743
ありがとう。
- 776 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 20:42:58.25 ID:1S9TFeH0.net]
- タイプミスして \wr と書いても変な記号が出力されたんだけど、\wr ってなんだろう？
- 777 名前：１３２人目の素数さん mailto:sage [2022/04/27(水) 21:54:24.48 ID:/PPj0Lx0.net]
- https://ja.m.wikipedia.org/wiki/%E8%BC%AA%E7%A9%8D
リース積の記号みたいね
- 778 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 00:05:22.33 ID:yrY9J+cI.net]
- >>746
へぇ～、初めて知った。
- 779 名前：１３２人目の素数さん mailto:sage [2022/04/28(木) 00:05:52.97 ID:bItv9XgF.net]
- 自分もこれを調べて初めて知った
- 780 名前：１３２人目の素数さん [2022/04/29(金) 23:46:14.33 ID:yZh7PdVa.net]
- MacTeXでTeXをインストールしたのですが、どこのディレクトリに入るもの
なのでしょうか？macがなんかシステムが新しくなって、二つもvolumeができたり
しててよくわからなくなりました。できれば教えてくれると嬉しいです。
よろしくお願いします
Applicationsではなく、ということです
- 781 名前：１３２人目の素数さん [2022/04/30(土) 00:11:00.00 ID:8ZKfMkS8.net]
- 解決しました
/usr/local
でした。
- 782 名前：１３２人目の素数さん mailto:sage [2022/05/01(日) 02:00:08.48 ID:qtUABblz.net]
- >>102 >>741
他にこんなのもあるけど
まだ試したことがない。
https://github.com/frabjous/knap/
www.bakoma-tex.com/menu/about.php
- 783 名前：１３２人目の素数さん mailto:sage [2022/05/29(日) 15:52:17 ID:pmOlrTN0.net]
- \left( \sum_{k=1}^{\infty} f_n(z) \right)'
のダッシュが横に空きすぎてるので {\kern-0.4em} とか \! などで詰めると、高さが合わなくなる。
いい方法はないものですかね？
- 784 名前：１３２人目の素数さん mailto:sage [2022/05/30(月) 16:00:21 ID:zsFmlJdU.net]
- >>752
\left( \sum_{k=1}^{\infty} f_n(z) \right)^{\begin{array}{l}
\displaystyle \vspace{-0.7em}\!\!\!\! '\end{array}
- 785 名前：１３２人目の素数さん mailto:sage [2022/05/30(月) 16:01:34 ID:zsFmlJdU.net]
- 間違えた、こっち
\left( \sum_{k=1}^{\infty} f_n(z) \right)^{\begin{array}{l}
\displaystyle \vspace{-0.7em}\!\!\!\! '\end{array}
}
- 786 名前：１３２人目の素数さん mailto:sage [2022/05/30(月) 16:18:53.83 ID:n+8+fx9h.net]
- >>754
ありがとう。なるほどなあ。
- 787 名前：１３２人目の素数さん mailto:sage [2022/05/30(月) 17:51:18.05 ID:RAHqt/Dy.net]
- そんなごちゃごちゃ書くぐらいなら、
これ ^{\!\!\prime} でええやろ？
\begin{align*}
&\left( \sum_{k=1}^{\infty} f_n(z) \right)'
\\
&\left( \sum_{k=1}^{\infty} f_n(z) \right)^{\prime}
\\
&\left( \sum_{k=1}^{\infty} f_n(z) \right)^{\!\!\prime}
\end{align*}
- 788 名前：１３２人目の素数さん mailto:sage [2022/05/30(月) 19:54:08.95 ID:n+8+fx9h.net]
- >>756
目から鱗でござる。
- 789 名前：１３２人目の素数さん [2022/06/03(金) 09:50:07.38 ID:DyMlmtWG.net]
- tikzで数直線上で0≦x<1を表すときの白丸をかきたいんですけど
どうすればいいんでしょうか？黒丸は
\fill (0,0) circle (2pt);
で書けたのですが・・・
- 790 名前：１３２人目の素数さん [2022/06/03(金) 10:44:20.99 ID:DyMlmtWG.net]
- ad hocなやり方ですが自己解決しました
\fill (0,0) circle (2pt);
\fill[white] (0,0) circle (1.8pt);
でそれらしくなりました
- 791 名前：１３２人目の素数さん [2022/06/03(金) 13:53:44 ID:kXM5x2Qz.net]
- filldraw コマンドを使う。
\begin{tikzpicture}
\draw[black] (0,0)--(1,0);
\fill[black] (0,0) circle (2pt);
\filldraw[fill=white,draw=black] (1,0) circle (2pt);
\end{tikzpicture}
- 792 名前：１３２人目の素数さん [2022/06/03(金) 15:37:40 ID:xZ7QpTsQ.net]
- 教科書の演習問題の解答をTeXで書きたいのですが、よい雛形はありませんか？
- 793 名前：１３２人目の素数さん [2022/06/03(金) 16:35:30.03 ID:DyMlmtWG.net]
- >>760
ありがとうございます
使わせていただきました
- 794 名前：１３２人目の素数さん mailto:sage [2022/06/03(金) 17:30:47.04 ID:o8DqnJtK.net]
- >>761
雛形も何もそのまま書いたらダメなん？
- 795 名前：１３２人目の素数さん mailto:sage [2022/06/04(土) 09:47:39.79 ID:XgbHglLv.net]
- >>761
「良い」の定義は？
- 796 名前：１３２人目の素数さん mailto:sage [2022/06/04(土) 09:49:29.50 ID:XgbHglLv.net]
- >>761
\section{演習問題の解答}
\begin{enumerate}
\item %問題1
かいとーでーす
\item %問題2
かいとーでーす
\end{enumerate}
- 797 名前：１３２人目の素数さん [2022/06/04(土) 19:03:55.29 ID:JKh2dhS3.net]
- >>763-765
ありがとうございました。
例えば、第3章の演習問題と第5章の演習問題のみを解く場合に、
\chapter{}を使うと第1章、第2章、第3章と数字が1から1ずつ増加していきます。
この章番号を自分で指定するにはどうすればいいのでしょうか？
- 798 名前：１３２人目の素数さん mailto:sage [2022/06/04(土) 23:18:41.20 ID:styCpC9t.net]
- >>766
\setcounter{カウンタ}{設定値}
- 799 名前：１３２人目の素数さん mailto:sage [2022/07/23(土) 21:36:03.24 ID:WBeVsEuI.net]
- 画像のように、数式内で積分記号の上下に文字を振るにはどうすればいいんでしょう？
普通にやると右下と右上にしかつかないと思うんですが。
https://i.imgur.com/6wYRW4l.jpg
- 800 名前：１３２人目の素数さん mailto:sage [2022/07/24(日) 04:23:56.29 ID:0M22PiXV.net]
- >>762
Cが難しい。たたき台。
\documentclass{jsarticle}
\usepackage{amsmath}
\newcommand{\intC}{\int_C}
\begin{document}
\begin{align*}
&{\int\limits_0^z} \dfrac {ds}{1+s}\\
&{\intC} \dfrac {ds}{1+s}\\
&{\int\limits_0^z}_C \dfrac {ds}{1+s}\\
\end{align*}
\end{document}
- 801 名前：１３２人目の素数さん mailto:sage [2022/07/24(日) 08:32:02.21 ID:mReKuGny.net]
- >>769
2つ書いて \! を複数使って重ねるやり方は美しくないよなあ。
- 802 名前：１３２人目の素数さん mailto:sage [2022/07/24(日) 12:42:28.13 ID:FuDc2e9s.net]
- 漏れも挑戦
\usepackage{amsmath}
\begin{align*}
\rlap{$\int\limits_0^z$}{\phantom{\int}}_C \dfrac{ds}{1+s} \\
\underset{0}{\overset{z}{\int_C}} \dfrac{ds}{1+s}
\end{align*}
上はインテグラルとCの間が気になる
下はnolimitsがちゃんと実現できていない
- 803 名前：１３２人目の素数さん mailto:sage [2022/07/25(月) 05:24:46 ID:o20nPW5H.net]
- >>765
\begin{align*}
&{\int\limits_0^z} \dfrac {ds}{1+s}\\[-17pt]
&\hspace{5pt}\mbox{\tiny{C}}\\
&{\int\limits_0^z} \dfrac {ds}{1+s}\\
&{\intC} \dfrac {ds}{1+s}
\end{align*}
- 804 名前：１３２人目の素数さん mailto:sage [2022/07/25(月) 05:36:25 ID:o20nPW5H.net]
- hphnatomはダメですね。
\begin{align*}
&{\int\limits_0^z} \dfrac {ds}{1+s}\\[-17pt]
&\hphantom{\int}\mbox{\tiny{C}}\\
&{\int\limits_0^z} \dfrac {ds}{1+s}\\
&{\intC} \dfrac {ds}{1+s}
\end{align*}
- 805 名前：１３２人目の素数さん mailto:sage [2022/08/10(水) 09:12:23.98 ID:maO8y5I1.net]
- この可換図式を、右にずらすにはどうすればよいですか？
\usepackage{amscd}
\[
\begin{CD}
D @>{f}>> \varDelta \\
@A{\varphi}AA @A{\psi}AA \\
E @>{g}>> E
\end{CD}
\]
- 806 名前：１３２人目の素数さん mailto:sage [2022/08/10(水) 16:23:32.23 ID:ctjuca7s.net]
- >>774
¥varDeltaが見つからずエラーになる。
最小限の動作可能なサンプルが必要
\documentclass{article}
\usepackage{amscd}
\usepackage[fleqn]{amsmath}
\begin{document}
\setlength{\mathindent}{30pt}
\[
\begin{CD}
D @>{f}>> \varDelta \\
@A{\varphi}AA @A{\psi}AA \\
E @>{g}>> E
\end{CD}
\]
\end{document}
mathindentで場
- 807 名前：所を調節する []
- [ここ壊れてます]
- 808 名前：１３２人目の素数さん mailto:sage [2022/08/10(水) 16:40:15.76 ID:FT2063Ee.net]
- >>775
ありがとうございまする。
\documentclass から一通り書くように気をつけます。
- 809 名前：１３２人目の素数さん mailto:sage [2022/08/10(水) 16:51:23.87 ID:qV1w/fQU.net]
- >>774
\[
\mbox{}\hspace{30pt}\begin{CD}
D @>{f}>> \varDelta \\
@A{\varphi}AA @A{\psi}AA \\
E @>{g}>> E
\end{CD}
\]
というのは？
- 810 名前：１３２人目の素数さん mailto:sage [2022/08/10(水) 17:41:22.39 ID:wZbVTy48.net]
- fleqnつかっている状態で、amscdのCD環境だけ、右にずらしたいとか、意味が分からない
- 811 名前：775 mailto:sage [2022/08/10(水) 23:27:23.63 ID:ctjuca7s.net]
- >>778
fleqnは、元質問者の提示にオレが勝手に足したものだけど。
- 812 名前：１３２人目の素数さん mailto:sage [2022/09/18(日) 18:18:49.98 ID:cmTK1CrS.net]
- 共役複素数の書き方について、添字がある場合は
\bar{z}_n と \bar{z_n}
のどちらが正しい（望ましい）ですかな？
- 813 名前：１３２人目の素数さん mailto:sage [2022/09/26(月) 21:24:43.28 ID:R9NWmhPe.net]
- 左
- 814 名前：１３２人目の素数さん mailto:sage [2022/09/26(月) 21:35:51.65 ID:R9NWmhPe.net]
- >>768
\overset{\ \ z}{\underset{0\ \ }{\int_C}}
- 815 名前：１３２人目の素数さん [2022/09/28(水) 03:57:42.69 ID:00Fzhrj4.net]
- LaTeXでの、表の作成について質問があります。
いま、次のような感じで表を作っています。
\begin{center}
\begin{tabular}{|p{6cm}|p{5cm}|p{5cm}|}
\hline
\multicolumn{1}{|c|}{列1} & \multicolumn{1}{|c|}{列2}& \multicolumn{1}{|c|}{列3} \\
\hline
あああああ&1&1628\\
いいいいい&1&2750\\
\mbox{長い文字列ではセル内での改行を抑制して省略するようにしたい}&1&2750\\
\hline
\end{tabular}
\end{center}
この、最後の行のように、長い文字列の場合には、
mboxをつかうと改行を抑制できたんですが、隣の列にはみ出すようになってしまいます。
その場合、文字列を途中で省略するようにしたいんですが、なにかアイデアはあるでしょうか。
- 816 名前：１３２人目の素数さん mailto:sage [2022/09/28(水) 05:02:28.32 ID:3IZRo5DI.net]
- >>783
\parbox{6cm}{長い文字列ではセル内での改行を抑制して省略するようにしたい}
でいいんじゃね。
- 817 名前：１３２人目の素数さん [2022/09/28(水) 05:50:48.35 ID:MqF8yYL1.net]
- >>784
さっそく、レスを頂きありがとうございます。
mboxのかわりに、parbox{6cm}を使って見ましたが、
省略されず、セル内で改行されてしまいました。
ドキュメントクラスは、
\documentclass[paper=a4,landscape]{jlreq}
と指定しております。
- 818 名前：１３２人目の素数さん mailto:sage [2022/09/28(水) 09:32:55.66 ID:83/FiOmB.net]
- >>783
> \begin{tabular}{|p{6cm}|p{5cm}|p{5cm}|}
>
> 最後の行のように、長い文字列の場合には、
> mboxをつかうと改行を抑制できたんですが、隣の列にはみ出すようになってしまいます。
自分で何を書いているのか分かっていますか？
> その場合、文字列を途中で省略するようにしたい
この「文字列を途中で省略する」の定義もしくは仕様は何ですか？
- 819 名前：１３２人目の素数さん mailto:sage [2022/09/28(水) 12:06:24.41 ID:XQd9qxOW.net]
- Excelでセル内で改行しないと設定した場合のような挙動にしたいんだろ
- 820 名前：783 [2022/09/28(水) 12:24:54.59 ID:cvrgrpRb.net]
- A4サイズ一枚に収まるように、レポートヘッダー、テーブルの行、レポートフッターまで、プリフォームとして作り込んでおきたいわけです。
しかし、そのように作ったとしても、テーブル内で改行が行われることがあれば、一枚に収まりきらなくなると予想され、上に書いたように、改行を抑制し、オーバーフローする分は省略したいわけです。
- 821 名前：１３２人目の素数さん [2022/09/28(水) 12:32:34.21 ID:cvrgrpRb.net]
- >>788
一枚ごとにプログラムで、予め処理してテーブルのアイテムをはめ込むので、こういうプリフォームが必要になります。
- 822 名前：１３２人目の素数さん [2022/09/28(水) 20:21:53.37 ID:jNlCoWk+.net]
- >>783
> 文字列を途中で省略するようにしたいんですが、
ローカルな対応で恐縮ですが，
emathパッケージを用いたコマンド \EMcutbox を作ってみました。
興味がおありでしたら，emath のサポートページ
emath.s40.xrea.com/
の目次から
emathWiki
EMcutbox
とたどったページをご覧ください。
- 823 名前：１３２人目の素数さん [2022/09/29
]
- [ここ壊れてます]
- 824 名前：(木) 09:40:43.32 ID:HFCHIXlK.net mailto: >>790
わざわざ対応するマクロをつくってくださって、びっくりしています。
ありがとうございます。
さっそく試してみたいと思い、トップページを経由して、EMcutboxのページを参照しました。
目次からたどれたページから、emathf051107c.zip (3,012,060 bytes)をダウンロードして、
どこにスタイルファイルを置けばよいか調べて、これをTeXLive環境に導入してみたいと思います。
実際に動かせるまでには、少し時間がかかりそうです。
EMcutboxのページを見ると、まさに私が必要としている機能でした。
どうもありがとうございました。 [] - [ここ壊れてます]
- 825 名前：１３２人目の素数さん mailto:sage [2022/09/29(木) 12:38:53.40 ID:GqsnVlNM.net]
- >>790
> 数式部分を {...} で括っておく必要があります。
1 tokenごと前から拾っていって、\cutboxに与えた幅まで出すということですね
- 826 名前：１３２人目の素数さん mailto:sage [2022/10/05(水) 10:07:37.40 ID:3hqTfZNI.net]
- Windowsのlyxで\Omegaと\otimesが表示されないって解決不能ですか？
- 827 名前：１３２人目の素数さん mailto:sage [2022/10/06(木) 10:00:47.20 ID:dk8YJzCW.net]
- Symbolsファイルを書き換えたら回避できた
- 828 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net]
- この膨らんだ星形を書かせるなら、emath が早いですかね？
へこんでいる方の頂点の半径を計算するのがめんどくさそう。
https://i.imgur.com/Ku702oN.jpg
- 829 名前：１３２人目の素数さん mailto:sage [2022/10/07(金) 12:08:55.96 ID:jxzfp2Ey.net]
- >>795
Illustratorなどのお絵かきソフトなら、一瞬で書けるのでは？
TikZで書いても、そない時間がかからん
簡単な図形を書くのに、早さを求めるなら、お絵かきソフトが一番早くなるとは思うけど？
- 830 名前：１３２人目の素数さん mailto:sage [2022/10/07(金) 16:50:42.34 ID:mX9KosT/.net]
- tikzでforeach使えば楽そう
- 831 名前：１３２人目の素数さん [2022/10/07(金) 19:00:41.43 ID:HDOBhKxa.net]
- >>795
> この膨らんだ星形を書かせるなら、emath が早いですかね？
emath を使用した一例です：
\documentclass[dvipdfmx]{jarticle}
\usepackage{emathPh}
\begin{document}
\begin{zahyou*}[ul=40mm](-1,1)(-1,1)
\EnkoToubun\O{1}{90}{+}{5}{A}
\LandL\Ai\Aiii\Aii\Aiv\P
\Kyori\O\P\rval% (3-sqrt(5))/2
\EnkoToubun\O\rval{-90}{+}{5}{B}
{\thicklines\Takakkei{\Ai\Biv\Aii\Bv\Aiii\Bi\Aiv\Bii\Av\Biii}}%
\Kakukigou\Aiii\Ai\Aiv<Hankei=2em,moziiti=+1em>[c]{$\frac15\pi$}
\Kakukigou\Av\Bii\Aiv<Hankei=1em,moziiti=+1em>[c]{$\frac75\pi$}
\end{zahyou*}
\end{document}
- 832 名前：１３２人目の素数さん mailto:sage [2022/10/07(金) 20:42:19.46 ID:jxzfp2Ey.net]
- 早さを求める割に、なんでお絵かきソフトで描かないのか、理解しかねるわ
- 833 名前：１３２人目の素数さん mailto:sage [2022/10/07(金) 23:28:03.16 ID:PzOY8iCD.net]
- /begin{align*}などのアスタリスク記号 (*) はなんのためにありますか？
- 834 名前：１３２人目の素数さん mailto:sage [2022/10/08(土) 11:53:38.99 ID:MiIYYejP.net]
- >>800
実際に、動かしてみたら分かるのでは？
\begin{align}
a
\end{align}
\begin{align*}
a
\end{align*}
- 835 名前：１３２人目の素数さん mailto:sage [2022/10/08(土) 22:22:26.27 ID:7viq0ec/.net]
- >>801
「など」と質問されているので、個別例を示しても答えにならないのでは
- 836 名前：１３２人目の素数さん mailto:sage [2022/10/08(土) 23:07:22.40 ID:8aGvZ5eN.net]
- >>802
そんなこと書いてる間にお前が答えれば解決じゃん
- 837 名前：１３２人目の素数さん mailto:sage [[ここ壊れてます] .net]
- >>802
*付き環境の定義は任意にできる
以上
- 838 名前：１３２人目の素数さん mailto:sage [2022/10/10(月) 00:46:11.39 ID:jS5BN18I.net]
- >>798
ありがとうございます。
\EnkoToubun\O{1}{90}{+}{5}{A}
や
\EnkoToubun\O\rval{-90}{+}{5}{B}
については知りませんでした。
いままで自分は、各頂点のx,y座標をcalcvalでcosやsinを使って全部計算させて tenretuで定義していました…
- 839 名前：１３２人目の素数さん mailto:sage [2022/10/10(月) 11:19:54.71 ID:1B4RWlam
]
- [ここ壊れてます]
- 840 名前：.net mailto: >>804
目的を尋ねられているのに、これでは答えになっていないやん
>>800
少し異なる機能を持つvarinatsを定義する目的でしばしば用いられます。 [] - [ここ壊れてます]
- 841 名前：１３２人目の素数さん mailto:sage [2022/10/10(月) 23:19:37.53 ID:lVi3IDU4.net]
- >>806
それは違うな
*付き環境の定義は任意にできる
が正しい
- 842 名前：１３２人目の素数さん mailto:sage [2022/10/20(木) 19:37:35.05 ID:JsODD8nE.net]
- 昨日のWindows11のアプデ後からなんだけど、
Texのコンパイルをしようとしたら以下のようになって強制終了させるしかないんだけど、原因分かりますか？
https://i.imgur.com/yY0kaHw.jpg
- 843 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 17:01:29.79 ID:oIAA4YND.net]
- 同じ症状の人はいないようですな。
- 844 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 18:56:37.36 ID:AK95CRuK.net]
- >>808
Windowsを使っていないので、的外れかも知れないけど、
一般論として、OSのアップデートでライブラリの依存関係が切れたら、
ソフトウェアをコンパイルし直して使えるようにするのだけど、
TeXLiveのソースを落としてTeXのコンパイルはしてみた？
- 845 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 18:59:21.38 ID:oIAA4YND.net]
- >>810
TeXLiveは使ったことないんです。
Windows10の頃に、あべのりのインストーラーで入れてから、Windows11に無料アップグレード。
先日のアプデ後から、おかしくなった次第。
- 846 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 19:02:41.46 ID:oIAA4YND.net]
- >>808
最初の数回は普通にコンパイル出来る。
↓
何度目かのコンパイル時に、コマンドプロンプトが、この画像のところで止まる。
↓
タスクマネージャーでコナンドプロンプトを終了させる
↓
なぜかDvioutがコンパイル後の画面を表示する （つまりコンパイル出来てるらしい）
あとは、この繰り返し。
- 847 名前：１３２人目の素数さん mailto:sage [2022/10/21(金) 20:01:38.82 ID:v4NJ5xN3.net]
- PowerShellでやってみたら？
- 848 名前：１３２人目の素数さん mailto:sage [2022/10/30(日) 17:50:34.21 ID:ABABIU+/.net]
- すみません質問です
TeXで、文字を入力するカーソルを指定の場所に移動するようなコマンドはないんでしょうか
atというのがありますが、
\at(x,y)
でカーソルを指定の場所にするようなのです。こう入力したらその後に書いたのがその場所から書かれるようなのです
- 849 名前：１３２人目の素数さん mailto:sage [2022/10/31(月) 16:20:17.85 ID:rYuTBVLZ.net]
- >>814
「入力」と書かれているので、
TeXの話ではなくて、TeXのソースを書くためのテキストエディタの話に読めます。
テキストエディタなら、お使いのテキストエディタのスレでお尋ねになった方がよいかと思います。
例えば、vimをお使いでしたら、
:call cursor(15,25)
とすると、カーソルが15行25文字目に移動します。
移動後、この場所から文字を入力することができます。
- 850 名前：１３２人目の素数さん mailto:sage [2022/10/31(月) 17:50:02.54 ID:a7a8wO3I.net]
- 書き方が悪かったですね。TeXの話です
例えば
\~~(0,10cm)
abc
と打つと、こんな感じに出力されるような
そんなコマンドはありませんかという質問です
https://o.5ch.net/1zqmn.png
- 851 名前：１３２人目の素数さん mailto:sage [2022/10/31(月) 18:11:25.07 ID:rYuTBVLZ.net]
- >>816
いくつかの提案は考えられますが、文脈によって異なります。
bemearの中の話ならtikzで好きに配置できるし、
通常の文章の中なら見えない罫線やボックスを置くことになるし、
相対座標でなくても絶対座標で良いなら、それ用のstyがあります。
文脈がわかる程度に、もう少し具体性がないとコメントできないですね。
- 852 名前：１３２人目の素数さん mailto:sage [2022/10/31(月) 18:13:15.58 ID:rYuTBVLZ.net]
- >>817
図が見えていませんでした。
¥mbox{}¥vspace{10cm} abc
はどうですか。
- 853 名前：１３２人目の素数さん mailto:sage [2022/10/31(月) 18:38:42.28 ID:a7a8wO3I.net]
- 詳しくありがとうございます
>相対座標でなくても絶対座標で良いなら、それ用のstyがあります。
とりあえずこれを教えていただけませんでしょうか
やりたいこととしては、例えばA4
- 854 名前：の紙に3つの問題を印刷するときに、2問目、3問目をちょうど紙の3等分のところから印字したいわけです []
- [ここ壊れてます]
- 855 名前：１３２人目の素数さん mailto:sage [2022/10/31(月) 19:18:38.73 ID:rYuTBVLZ.net]
- >>819
textpos.sty
abspos.sty
placeat.sty
- 856 名前：１３２人目の素数さん mailto:sage [2022/10/31(月) 19:41:17.36 ID:a7a8wO3I.net]
- ありがとうございます
色々試してみます
- 857 名前：１３２人目の素数さん mailto:sage [2022/11/01(火) 01:12:56.70 ID:4db7ZSGt.net]
- >>819
\vfill じゃダメなの？
- 858 名前：１３２人目の素数さん mailto:sage [2022/11/25(金) 19:08:34.43 ID:3y9SO9+j.net]
- \begin{align*}
a> b\mbox{はUのなんとか} \tag{1.1.5}\\
\mbox{これこれとは、任意の}u,v\mbox{について}
a=b,c=d,a=d \mbox{となりまする} \tag{1.1.1}\\
a=b,c=d \Longrightarrow a>d \tag{3.2:1}\\
\alpha, \beta,\gamma\mbox{はマイナスの値}
\end{align*}
みたいな感じですけど、桁を揃えたいのですが、&でうまくいかないのですが、
texの&の使い方について教えてください。
- 859 名前：１３２人目の素数さん mailto:sage [2022/11/26(土) 02:59:32.84 ID:ganM8poH.net]
- >>823
\begin{align*}
& a> b\text{はUのなんとか} \tag{1.1.5}\\
\intertext{これこれとは、任意の$u,v$について}
&a=b,c=d,a=d \text{となりまする} \tag{1.1.1}\\
&a=b,c=d \Longrightarrow a>d \tag{3.2:1}\\
&\alpha, \beta,\gamma\text{はマイナスの値}
\end{align*}
&を行頭に入れてみました。
\mboxは、趣味で、\textにしました。
- 860 名前：１３２人目の素数さん [2022/11/27(日) 15:31:38.08 ID:XYG6oiNc.net]
- >>824
ありがとうございます。
あとで試してみます
- 861 名前：１３２人目の素数さん mailto:sage [2022/11/27(日) 16:09:09.98 ID:XYG6oiNc.net]
- >>824
できました。ありがとうございました。
&を行頭に入れることや
\textや
\intertextを教えていただきありがとうございました。
- 862 名前：１３２人目の素数さん [2022/11/28(月) 10:58:14.82 ID:qf2AkhWl.net]
- &は上下で揃えたい場所に入れます。
mathtools.styの方がいろいろと出来ます。
- 863 名前：１３２人目の素数さん [2022/12/20(火) 15:41:23.55 ID:R0GrT6qP.net]
- https://i.imgur.com/bFfDS2f.jpg
https://i.imgur.com/JVQsjAd.jpg
https://i.imgur.com/I1aT8Pu.jpg
https://i.imgur.com/doMWwIW.jpg
https://i.imgur.com/8cAJeMD.jpg
https://i.imgur.com/crize0k.jpg
https://i.imgur.com/o7IYRlH.jpg
https://i.imgur.com/jkYopCU.jpg
https://i.imgur.com/4aRCLH9.jpg
https://i.imgur.com/HkEhMPT.jpg
https://i.imgur.com/yjOkcCb.jpg
https://i.imgur.com/KQeyoRY.jpg
- 864 名前：１３２人目の素数さん mailto:sage [2022/12/22(木) 11:00:02.72 ID:tH3p+3oZ.net]
- 12月のアプデで、>>808-812 に書いた異常が治った。
頻繁にタスクマネージャーから「タスクを終了する」を選択する作業から解放されたよ。
- 865 名前：１３２人目の素数さん [2023/02/22(水) 17:12:37.34 ID:roo/p+/C.net]
- Beamerで画像をスライドの大きさに合わせたいと思うのですが、
皆さんはどうやってますか？
フルスクリーンで表示したときに、隙間がないほうがカッコいいと思うのです。
- 866 名前：１３２人目の素数さん mailto:sage [2023/02/22(水) 19:41:22.85 ID:1TNf4DWf.net]
- >>830
\frame<presentation>{\centerline{\includegraphics[width=\paperwdith]{hoge.jpg}}}
フルスクリーンする写真の場合は基本的にハンドアウトに含めないのでpersentationオプションをつけてる。
アスペクト比の関係で余るなら、1.2\paperwidthとか1.5\paperwidthとか。
- 867 名前：１３２人目の素数さん [2023/02/28(火) 19:00:44.07 ID:6RjkdErn.net]
- >831
できました。ほんとうにありがとうございます。
- 868 名前：１３２人目の素数さん mailto:sage [2023/03/17(金) 06:46:40.03 ID:eAs8yeJP.net]
- \cup と \bigcup の中間サイズの記号ってありますか？
テキストモードで、以下の大きさのがちょうどいいんだけど。
$b \in \scalebox{1.0}[0.9]{$\bigcup$}_{a \in G} aH$
- 869 名前：１３２人目の素数さん mailto:sage [2023/03/20(月) 23:
]
- [ここ壊れてます]
- 870 名前：46:58.37 ID:tEQZ1Wlq.net mailto: nがmの約数でないことを $n \not| m$ と書くと、nの後に空白が入ってしまう。
この解決方法を、大昔に検索して見つけたことがあったような気がするけど、見つからない。
どうするんでしたっけ？ [] - [ここ壊れてます]
- 871 名前：１３２人目の素数さん mailto:sage [2023/03/21(火) 09:36:14.43 ID:Grb00u9Q.net]
- >>834
とりあえず、場当たり的にやるなら、
$n {\not|} m$
でいける
なので、
\newcommand*{\notdivides}{{\not|}}
としておくと、
$n \notdivides m$
と書ける
ちなみに、mathabxパッケージでは、両側演算子として\dividesや\notdevidesが用意されている
部分的に、\dividesや\notdevidesのみを拝借するのも良し
- 872 名前：１３２人目の素数さん mailto:sage [2023/03/21(火) 09:51:22.26 ID:3yHCsh1l.net]
- >>835
ありがとうございます。
834の書き込みの後、いろいろ検索して \nmid というのがあるのを知りましたが、斜線がとても短かくてイマイチでした。
- 873 名前：１３２人目の素数さん mailto:sage [2023/04/20(木) 11:15:48.83 ID:cXS2V76K.net]
- \prec は、precede（先立つ）
\succ は、succeed（...の後に続く）
では、同型の記号 \cong は何の英語の頭文字ですか？
思いつかんのですが…
- 874 名前：１３２人目の素数さん mailto:sage [2023/04/20(木) 11:17:15.61 ID:cXS2V76K.net]
- >>837
書き間違い。
\preceq と \suceq でした。
- 875 名前：１３２人目の素数さん mailto:sage [2023/04/20(木) 12:22:01.49 ID:6CXnOch/.net]
- >>837
> 同型の記号 \cong
congruent vs approximately
\cong vs \approx
- 876 名前：１３２人目の素数さん mailto:sage [2023/04/20(木) 12:24:17.37 ID:cXS2V76K.net]
- >>839
なるほど、ありがとうございます。
- 877 名前：１３２人目の素数さん mailto:sage [2023/05/17(水) 12:18:59.27 ID:jCS9GACh.net]
- \left( \prod_{i=1}^{n} G_i \right) / \left( \prod_{i=1}^{n} N_i \right)
について、中央の / の大きさを自動調整する方法はありますか？
- 878 名前：１３２人目の素数さん mailto:sage [2023/05/17(水) 13:38:56.09 ID:LcWpv0I3.net]
- >>841
\begin{equation}
\left( \prod_{i=1}^{n} G_i \right) / \left( \prod_{i=1}^{n} N_i \right)
\end{equation}
vs
\begin{equation}
\left.\left( \prod_{i=1}^{n} G_i \right) \middle/ \left( \prod_{i=1}^{n} N_i \right)\right.
\end{equation}
- 879 名前：１３２人目の素数さん mailto:sage [2023/05/17(水) 14:11:30.19 ID:jCS9GACh.net]
- >>842
なるほど！ありがとうございます。
- 880 名前：１３２人目の素数さん mailto:sage [2023/05/20(土) 10:05:52.12 ID:1503+Zy0.net]
- 群Gの部分群Hに対して、HがGの特性部分群のとき、H char G と書きたいとき、charの定義はどうやればいいのでしょうか？
charの前後に適度な空白を作るように定義する方法がよく分かりません。
ちなみに自己同型群 Aut(G) の記号は \def\Aut{\qopname\relax o{Aut}} と定義して使っています。
- 881 名前：１３２人目の素数さん mailto:sage [2023/05/20(土) 10:09:44.63 ID:1503+Zy0.net]
- \char って、他で使われている記号のようですね
- 882 名前：１３２人目の素数さん mailto:sage [2023/05/20(土) 10:10:23.19 ID:1503+Zy0.net]
- \char って、他で使われている記号のようですね
- 883 名前：sage mailto:sage [2023/05/20(土) 11:17:12.76 ID:xvHN6xXx.net]
- \CHAR
としたら？
- 884 名前：１３２人目の素数さん mailto:sage [2023/05/21(日) 08:05:32.29 ID:bLxSvMIv.net]
- さんくす。\Charで登録しますた。
- 885 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 00:43:20.43 ID:wmZr8viD.net]
- mが正整数
の時,
- 886 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:07:55.28 ID:wmZr8viD.net]
- (ma)b=(a+a+…+a)b
=ab+…+ab=m(ab)=mab
- 887 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:08:54.67 ID:wmZr8viD.net]
- a(mb)=a(b+…+b)
=ab+…+ab=m(ab)=mab
- 888 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:10:23.80 ID:wmZr8viD.net]
- 0a=0と規約する
- 889 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:12:14.11 ID:wmZr8viD.net]
- mを正整数として
-m=n≤0とおけて
- 890 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:13:05.59 ID:wmZr8viD.net]
- na=-mb=m(-b)として
- 891 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:13:50.52 ID:wmZr8viD.net]
- m(-a)b=……m(-ab)
- 892 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:14:38.34 ID:wmZr8viD.net]
- a(-mb)=a(m(-b))=m(-ab)
- 893 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:15:01.22 ID:wmZr8viD.net]
- =-mab=nab
- 894 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:17:01.35 ID:wmZr8viD.net]
- ∀m∈ℤ、ma∈Rと出来る
- 895 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:20:02.65 ID:wmZr8viD.net]
- 環Rが零因子を持たないと仮定すると
- 896 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:22:17.78 ID:wmZr8viD.net]
- ax=acの時,
⇔a(x-c)=0
⇔a=0またはx-c=0
a≠0よりx=c
従って左簡約律が成り立つ
- 897 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:23:56.11 ID:wmZr8viD.net]
- xa=caとする
(x-c)a=0
⇔x-c=0またはa=0
a≠0よりx=c
よって右簡約律も成り立つ
- 898 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:24:24.96 ID:wmZr8viD.net]
- 左簡約律が成り立つと仮定すると
- 899 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:25:31.47 ID:wmZr8viD.net]
- ab=0∧a≠0の時,
- 900 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:29:44.66 ID:wmZr8viD.net]
- ab=0、a0=0よりb=0
- 901 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:30:13.71 ID:wmZr8viD.net]
- これはRが零因子を持つことになり矛盾である
- 902 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:30:53.42 ID:wmZr8viD.net]
- よって∀a, b∈R、ab≠0
従ってRは零因子を持たない
- 903 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:31:28.10 ID:wmZr8viD.net]
- 任意の2元の積が零になることが決して無い
- 904 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:37:08.05 ID:wmZr8viD.net]
- Fを体とする
- 905 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:37:38.55 ID:wmZr8viD.net]
- 可換である
- 906 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:37:48.58 ID:wmZr8viD.net]
- 環である
- 907 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:38:05.27 ID:wmZr8viD.net]
- 単位元を持つ
- 908 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:38:22.66 ID:wmZr8viD.net]
- 単位的可換環である
- 909 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:39:02.63 ID:wmZr8viD.net]
- ab=0、a≠0とする
- 910 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:39:21.87 ID:wmZr8viD.net]
- するとa⁻¹が存在するので
- 911 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:39:47.21 ID:wmZr8viD.net]
- それを左乗すると
- 912 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:40:23.09 ID:wmZr8viD.net]
- a⁻¹ab=a⁻¹0
∴b=0
- 913 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:40:53.89 ID:wmZr8viD.net]
- これは0以外に零因子を持たないことを示す
- 914 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:41:17.54 ID:wmZr8viD.net]
- よって任意の体は
- 915 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:41:29.99 ID:wmZr8viD.net]
- 整域である
- 916 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:42:06.04 ID:wmZr8viD.net]
- 環の中で0以外に零因子を持たないもの
- 917 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:42:41.26 ID:wmZr8viD.net]
- 環は可換なものとは限らないが
- 918 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:42:59.08 ID:wmZr8viD.net]
- 体は可換なものを考える
- 919 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:43:22.35 ID:wmZr8viD.net]
- 可換体=体
- 920 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 01:43:43.25 ID:wmZr8viD.net]
- 非可換体=斜体
- 921 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:06:45.53 ID:nzSBCrbO.net]
- q元体
- 922 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:07:38.61 ID:nzSBCrbO.net]
- 剰余体図b
- 923 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:08:02.93 ID:nzSBCrbO.net]
- pは素数
- 924 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:08:40.18 ID:nzSBCrbO.net]
- 二元体ℤ₂
- 925 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:10:18.12 ID:nzSBCrbO.net]
- ウェダーバーンの定理
- 926 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:11:23.71 ID:nzSBCrbO.net]
- 任意の有限な斜体は体である
可換体
- 927 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:22:06.86 ID:k6dUPmc3.net]
- Fを有限な整域とする
- 928 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:23:06.31 ID:k6dUPmc3.net]
- 整域は可換環である
単位的可換環
- 929 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:31:34.83 ID:3PeVl8xh.net]
- 整域という段階で可換環ということが保証される
- 930 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:32:35.46 ID:3PeVl8xh.net]
- 写像f: x→xaを考える
- 931 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:33:08.11 ID:3PeVl8xh.net]
- fは単射である
- 932 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:33:45.02 ID:3PeVl8xh.net]
- 整域では簡約律が成り立つ
- 933 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:34:12.52 ID:3PeVl8xh.net]
- xa=yaとすると
- 934 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:34:43.97 ID:3PeVl8xh.net]
- x=yとなる
- 935 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:35:39.61 ID:3PeVl8xh.net]
- fは全射になる
- 936 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:38:23.35 ID:3PeVl8xh.net]
- xa=ya⇒x=yとなるので
x≠y⇒xa≠ya
⇔xa=ya⇒x=y
よってfは単射である
- 937 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 08:39:15.32 ID:3PeVl8xh.net]
- 写像f: F→Fは全射になる
- 938 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 09:10:04.79 ID:IzoBQ+BU.net]
- Fは有限集合よりfは全射である
集合Aが有限集合⇒
f: A→Aは全射と単射は同値である
単射、A≦B
全射、A≧B
全単射A=B
- 939 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 09:12:27.00 ID:IzoBQ+BU.net]
- f: x→xa=e
このxがa⁻¹である
- 940 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 09:17:56.96 ID:IzoBQ+BU.net]
- n個とする単射ならば
a₁→b₁、a₂→b₂、…と
aᵢ→bᵢと名付け、aₖ₊₁に対してはb₁～bₖを選べないから1対1に対応する。よって全射になる。
全射ならば
- 941 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 09:19:32.87 ID:IzoBQ+BU.net]
- |A|≧|B|であり
等号が成立するためには1対1に対応するしかない
よって単射である
- 942 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 09:20:04.35 ID:IzoBQ+BU.net]
- 単射は漏れがあっでもいい
- 943 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 09:20:23.76 ID:IzoBQ+BU.net]
- 全射はダブりがあってもいい
- 944 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 09:21:22.50 ID:IzoBQ+BU.net]
- 両者が両立するためきは等号が成立する必要がある。全単射
1対1対応。
- 945 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:02:22.09 ID:IzoBQ+BU.net]
- 有理整数環ℤは可換な単位的環
である
可換環
- 946 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:03:58.37 ID:IzoBQ+BU.net]
- 複素数体ℂは0以外の零因子を持たない
ℤ⊂ℂよりℤも0以外の零因子を持たない
- 947 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:04:30.66 ID:IzoBQ+BU.net]
- よってℤは整域である
±1
- 948 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:05:44.15 ID:IzoBQ+BU.net]
- ℤi[]は可換環である
Gauss整数環
- 949 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:07:10.27 ID:IzoBQ+BU.net]
- ℤi[i]⊂ℂでありℂは自明な零因子を持たないからℤi[]も同様である
- 950 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:07:54.76 ID:IzoBQ+BU.net]
- ±1、±i
- 951 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:30:31.10 ID:IzoBQ+BU.net]
- 数体
- 952 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:42:36.25 ID:cTyjmGZ4.net]
- 複素数体ℂ
- 953 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:42:52.61 ID:cTyjmGZ4.net]
- 実数体ℝ
- 954 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:43:11.79 ID:cTyjmGZ4.net]
- 有理数体ℚ
- 955 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:53:55.91 ID:cTyjmGZ4.net]
- 複素数の部分集合
数体
- 956 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:54:20.09 ID:cTyjmGZ4.net]
- 単位元1と零元0を持つ
- 957 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:55:07.04 ID:cTyjmGZ4.net]
- �
- 958 名前：ﾁ法について閉じているからℤ⁺を全て持つ []
- [ここ壊れてます]
- 959 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:55:49.59 ID:cTyjmGZ4.net]
- 減法も定義されていふので
ℤ全てを持つ
- 960 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:57:02.75 ID:cTyjmGZ4.net]
- 除法も定義されているので
p/q、q≧1、p, q∈ℤも全て持つ
- 961 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:57:44.86 ID:cTyjmGZ4.net]
- 従って任意の数体は有理数体ℚを含む
- 962 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 10:59:36.20 ID:cTyjmGZ4.net]
- Gaussの数体ℚ(i)
- 963 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:03:18.30 ID:cTyjmGZ4.net]
- a+ib、c+diとする∈ℚ
- 964 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:03:56.85 ID:cTyjmGZ4.net]
- 和∈ℚ(i)
- 965 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:04:15.42 ID:cTyjmGZ4.net]
- 差∈ℚ(i)
- 966 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:04:36.86 ID:cTyjmGZ4.net]
- 積∈ℚ(i)
- 967 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:05:04.83 ID:cTyjmGZ4.net]
- 商∈ℚ(i)
- 968 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:06:05.34 ID:cTyjmGZ4.net]
- によりGaussの数体ℚ(i)は体である
- 969 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:07:00.15 ID:cTyjmGZ4.net]
- a+bi、a, b∈ℤ
a+bi、a, b∈ℚ
- 970 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:22:29.58 ID:cTyjmGZ4.net]
- Hは斜体をなす
- 971 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:24:10.26 ID:cTyjmGZ4.net]
- 0以外の元は逆元を持つ
- 972 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:29:19.31 ID:Ur55Jv5c.net]
- (cj+d)(-cj-dk)
=a²+b²+c²+d²
i→j→k
- 973 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:29:39.43 ID:Ur55Jv5c.net]
- 四元数体
- 974 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:30:18.13 ID:Ur55Jv5c.net]
- 普通の共役複素数と同じ
- 975 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:30:48.28 ID:Ur55Jv5c.net]
- Hは斜体をなす
- 976 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 11:32:19.78 ID:Ur55Jv5c.net]
- ℝ、ℂ、H
に限る
- 977 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 12:13:25.71 ID:Ur55Jv5c.net]
- F上のn次全行列環
detA≠0
- 978 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 12:13:58.32 ID:Ur55Jv5c.net]
- GLₙFは乗法群をなす
- 979 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 12:16:40.64 ID:Ur55Jv5c.net]
- Boole環
- 980 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 12:35:25.74 ID:Ur55Jv5c.net]
- a²=a
- 981 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 12:35:41.38 ID:Ur55Jv5c.net]
- 冪等
- 982 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 12:36:33.59 ID:Ur55Jv5c.net]
- Boole環は可換環である
- 983 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 12:40:28.21 ID:Ur55Jv5c.net]
- ∀a、2a=0
- 984 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 13:56:47.14 ID:uy2IsYte.net]
- (a+b)²=a+b ∵冪等
a²=a、b²=b ∵冪等
他方、(a+b)²=a+ab+ba+b=a+b
∴ab+ba=0
b=aとおくとa²+a²=2a=0
よってa=-a
ab=-ba=ba
よって可換環である
- 985 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:01:09.56 ID:uy2IsYte.net]
- A△B
対称差
- 986 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:01:40.25 ID:uy2IsYte.net]
- RはBoole環
- 987 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:03:19.36 ID:uy2IsYte.net]
- 和は対称差、積は共通部分で定義する
- 988 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:05:02.97 ID:uy2IsYte.net]
- 空でない
- 989 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:06:19.27 ID:uy2IsYte.net]
- 零元は∅、単位元はS
- 990 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:06:37.89 ID:uy2IsYte.net]
- 可換環
- 991 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:07:49.70 ID:uy2IsYte.net]
- A²=A∩A=Aとなる
- 992 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:08:09.03 ID:uy2IsYte.net]
- A⊂S
- 993 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:10:34.18 ID:uy2IsYte.net]
- A∩A'=∅=0より
AとA'は零因子
従ってBoole環は整域ではない
- 994 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:56:02.01 ID:uy2IsYte.net]
- 拡大の記号は商集合とは無関係
- 995 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:58:07.46 ID:uy2IsYte.net]
- Kは加法群である
- 996 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:58:38.12 ID:uy2IsYte.net]
- 体Kでの乗法
- 997 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 14:59:25.93 ID:uy2IsYte.net]
- av、a∈𝔽、v∈𝕍
- 998 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 15:01:27.86 ID:2eh9YTu4.net]
- アスペの埋め荒らし
- 999 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 15:03:20.32 ID:uy2IsYte.net]
- KはF上の線型空間
- 1000 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 15:04:02.57 ID:uy2IsYte.net]
- Kは加法群
- 1001 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:24:52.04 ID:jHtdEF58.net]
- 拡大K/F
- 1002 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:25:13.64 ID:jHtdEF58.net]
- 任意の中間体L
- 1003 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:25:48.10 ID:jHtdEF58.net]
- K/LとL/F
- 1004 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:26:39.96 ID:jHtdEF58.net]
- [K/F]=nとする
- 1005 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:28:22.58 ID:jHtdEF58.net]
- Fに関して線型独立なKの数がn
- 1006 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:29:08.65 ID:jHtdEF58.net]
- F⊂L
- 1007 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:30:26.38 ID:jHtdEF58.net]
- L二関して線型独立な元はFに関しても線型独立である
- 1008 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:31:22.31 ID:jHtdEF58.net]
- [K: L]≦[K: F]=n
- 1009 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:49:05.09 ID:jHtdEF58.net]
- f+hf'×g+hg'-fg=fg'+f'g
- 1010 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:52:01.93 ID:jHtdEF58.net]
- f+hf' ×g-f× g+hg'
gf'-fg'
- 1011 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:56:33.41 ID:jHtdEF58.net]
- Kは係数体F上のVector空間
- 1012 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 19:57:06.65 ID:jHtdEF58.net]
- Kの元をVectorと見做す
- 1013 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 20:15:17.96 ID:1NEjHDZ+.net]
- K係数のVector空間
- 1014 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 20:15:40.23 ID:1NEjHDZ+.net]
- K上のVector空間
- 1015 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:10:23.72 ID:SCZtxDVB.net]
- 環Rの
- 1016 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:11:04.15 ID:SCZtxDVB.net]
- 空でない震分集合Aが
- 1017 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:11:31.29 ID:SCZtxDVB.net]
- 部分環になる
- 1018 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:11:54.28 ID:SCZtxDVB.net]
- 差∈A∧積∈A
- 1019 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:14:14.26 ID:SCZtxDVB.net]
- 必要性
和差積に関して閉じている
- 1020 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:16:45.38 ID:SCZtxDVB.net]
- 十分性
差∈A⇒Aは加法群Rの部分環
- 1021 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:17:54.29 ID:SCZtxDVB.net]
- 積∈A⇒Aは半群Rの部分半群
- 1022 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:18:28.07 ID:SCZtxDVB.net]
- よってAはRの部分環
- 1023 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:19:07.14 ID:SCZtxDVB.net]
- 内部演算と外部演算
- 1024 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:26:00.64 ID:SCZtxDVB.net]
- 分配律はRで成立しているので
- 1025 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:26:58.13 ID:SCZtxDVB.net]
- その部分集合Aでも当然成立する内部演算
- 1026 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:28:31.63 ID:SCZtxDVB.net]
- aℤはℤの部分環
- 1027 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:29:50.37 ID:SCZtxDVB.net]
- ax-ay=a(x-y)≡0
ax･ay=a²xy≡0
- 1028 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:31:29.24 ID:SCZtxDVB.net]
- 杯数全体の集合aℤ
- 1029 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:33:32.07 ID:SCZtxDVB.net]
- 剰余環ℤₘはℤの部分環ではない
- 1030 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:34:59.85 ID:SCZtxDVB.net]
- ℤₘとℤでは演算が異なるから
- 1031 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:44:58.85 ID:SCZtxDVB.net]
- 整域Rの部分集合Aが部分整域になる
- 1032 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:45:36.62 ID:SCZtxDVB.net]
- 単位元eを持つこと
- 1033 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:50:58.96 ID:SCZtxDVB.net]
- Rの単位元をa、Aの単位元をbとする
- 1034 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:53:26.55 ID:SCZtxDVB.net]
- bb=b
aa=a
ab=b
よってbb=ab
Rは整域なのでAの中の元も含めて簡約律が成り立つ
∴b=a
従って
- 1035 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:54:01.08 ID:SCZtxDVB.net]
- Aの単位元はRの単位元と同じものである
- 1036 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:55:19.85 ID:SCZtxDVB.net]
- 逆にAがRの単位元eを持つならば
- 1037 名前：１３２人目の素数さん mailto:sage [2023/05/23(火) 23:57:25.29 ID:SCZtxDVB.net]
- Rの部分集合として零因子を持たない可換環であることは保証されているので部分整域となる
- 1038 名前：1001 [Over 1000 Thread.net]
- このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 1764日 1時間 19分 29秒
- 1039 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
