ฝึกพูดภาษาอังกฤษด้วยเทคนิค Shadowing จากวิดีโอ: The category of G-Sets
เลือกโหมดฝึก
แต่ละโหมดจะเปิดห้องฝึกแบบเต็มจอ
95 ประโยค
หากประโยคสั้นหรือยาวเกินไป กดที่ Edit เพื่อปรับแก้
1
Hi everyone, I'm John Turula, one of the authors of Topology, a Categorical Approach.
2
In this video, I'm going to talk about the category of G-sets for a fixed group G.
3
My motivation for talking about the category of G-sets is topological because the category
4
of covering spaces of a topological space B is isomorphic to the category of G sets, where G is the fundamental group of the base space.
5
So you can understand everything about covering spaces in topology by understanding the category of G sets for a fixed group G.
6
Now what is this category?
7
Well, the objects are sets together with a function from S cross G into S that's compatible with the group operations.
8
Here I've written out what it means.
9
It means that if I act on an element S in my set by a group element G and then by H, it's the same as first multiplying the group elements G, H, and then acting on the set.
10
And the second condition is that the identity element of the group acts as the identity on the set.
11
And it's worth pointing out that here I'm considering right group actions.
12
Those are the ones relevant for the theory of covering spaces.
13
You could also consider the parallel discussion for left group actions.
14
Now, what are morphisms between G sets?
15
Well, a morphism from a G set S to a G set T is a function from S to T that's compatible with the actions, and I've written here what that means.
16
Now there are a couple of important definitions to know when you have a G set.
17
So suppose S is a G set.
18
One is the stabilizer of an element of that set.
19
That's equal to the set of all elements in the group that fix the element in the set.
20
Now you can check that the stabilizer of any element is a subgroup of your group G.
21
And the other important definition is what is the orbit of an element A from your set S.
22
The orbit of A is just the set of all elements in your set S that can be obtained by acting on that one element A by an element of the group G.
23
So we have these two important definitions associated to an element in your set in your G set S.
24
One is the stabilizer of that element, it's a subgroup of G, and the other is the orbit of that element, which is a subset of S.
25
There's one more piece of terminology I want to share, which is what it means for G to act transitively.
26
This is the same as saying that the entire set S consists of one orbit.
27
And more generally, the orbits of S partition the set S, which proves this theorem, that every G set decomposes into the disjoint union of sets on which G acts transitively.
28
And so now we can ask the question, what is a typical G set on which G acts transitively look like?
29
Well, every G set S on which G acts transitively is isomorphic to G mod H as a G set,
30
where G mod H is the set of right cosets of a subgroup H of the group G, and in fact H is related to the set because it's the stabilizer of an element in that set.
31
How do you prove it?
32
Well, start by taking any element, little s, from your G set capital S, and let H be the stabilizer subgroup of that element.
33
Then I'm going to define a map from
34
the cosets of the stabilizer, a map from G mod H, to the set S by sending the coset H times a little G to the element A acted on by G.
35
Now, you have to check that this map is well-defined, it's not hard,
36
from which it will follow pretty easily that it's a bijection, and then you have to check that it's equivariant with respect to the g action, where the g action on the set of cosets is just defined by right multiplication.
37
Here in my notes, I've written hg goes to ag.
38
I should have written hg goes to sg.
39
Anyway, there's a detail in this proof that I think is worth looking a little closer at, which is that we picked h to be the stabilizer of one element s.
40
The stabilizer of two different elements in a G set on which G acts transitively, let's say A and A prime, are conjugate subgroups.
41
In other words, if A prime can be obtained from A by the action of little g, then the stabilizer of A prime is G inverse times the stabilizer of A times little g.
42
Stabilizer subgroups are conjugate subgroups in the group G, which implies that as G sets, G mod H and G mod G inverse HG are isomorphic as G sets.
43
Now there's another detail that's worth pointing out, which is namely that if you have a G set S on which G acts transitively, we know that it's isomorphic to G mod h where h is the stabilizer subgroup.
44
But we know how many elements are in g mod h.
45
We know how many cosets there are.
46
And so you get a theorem which is known as the orbit stabilizer theorem.
47
A great but really useful theorem in mathematics.
48
And what it says is when gx transitively on a set s, then the cardinality of the orbit of any element times the cardinality of the stabilizer of that element equals the cardinality of the group G.
49
So we're starting to get a really good picture of what the category of G sets looks like.
50
So the first observation is that every G set decomposes into the disjoint union of G sets on which G acts transitively.
51
In this category, disjoint union are co-products and sets on which G act transitively are sometimes called homogeneous G sets.
52
So all the objects of this category are co-products of homogeneous G sets.
53
then each homogeneous G set itself is isomorphic to one of the form G mod H for a subgroup H of G.
54
So that tells us what the objects are in this category.
55
And now we just need to look a little closer at the morphisms, which we know are just equivariant set maps.
56
But then the question is, does that have a nice description in terms of the group structure of G?
57
and we'll find out that yes indeed it does.
58
So I think the first observation to make is that if you have an equivariant function between two homogeneous G sets,
59
because G acts transitively on those sets, I only need to tell you what happens to one element.
60
So if you have a morphism of G sets from G mod H to G mod K, I just need to tell you what F does to one coset and I might as well do that for the coset h.
61
So h is going to have to go to some coset of k.
62
Let's say it's k times g for some g in the group g.
63
So this entire equivariant map f is determined by one element little g in the group.
64
Now I'm actually defining a map on these equivalence classes and so not every element g is going to actually give a well-defined map.
65
You can check that in order for this map f determined by this element little g to be well defined, g is going to have to satisfy a condition related to the subgroups h and k.
66
And in fact, the condition, the way I like to write the condition, is that if you conjugate the subgroup h by g, you have to land inside the subgroup k.
67
And there's some redundancy in this description of equivariant g maps between g mod h and g mod k by elements of G.
68
In particular, you can check that if the coset KG and the coset KG' are the same, then the two maps you get by sending H to KG and H to KG' are identical.
69
Now, let's just put that redundancy aside for a moment and make the following conclusion,
70
that there exists a morphism of G sets from G mod H to G mod K, if and only if there's an element, little G, in the group so that G inverse H, G sits inside the subgroup K.
71
Now let's consider the case that the subgroup K equals the subgroup H, so that we're considering the group of automorphisms of G mod H as a G set.
72
Now considering the redundancy, what we find is a very nice theorem,
73
namely that the group of automorphisms of g mod h as a g set is isomorphic to the normalizer of the subgroup h modulo h.
74
And the proof is just an application of what we've already described as the morphisms between two homogeneous G sets of the form G mod H and G mod K.
75
So in other words,
76
substituting K equals H into those discussions tells us that the map from G mod H into G mod H is determined by one element in the group G,
77
and that element in the group G has to satisfy G inverse HG sits inside of H.
78
Moreover, two such maps will be equal if the coset HG equals the coset HG prime,
79
which is the same as saying that G times G prime inverse is in the subgroup H.
80
And the conclusion then is that the set of morphisms divided by the ones that are equal give you the normalizer of H modulo h.
81
And then you can check that this is an isomorphism of groups.
82
The automorphisms of a g set always form a group, and this quotient of the normalizer of h by h is a group, and these are isomorphic groups.
83
And so this completes all the details that I wanted to give that gives a nice description of the category of G sets.
84
First, every G set decomposes into the co-product of homogeneous G sets.
85
The homogeneous G sets look like the quotient of G mod a subgroup H.
86
At the very beginning, G mod the identity, just G, maps to every other G set because the identity sits inside of every subgroup H.
87
All of these G sets map to the trivial G set, which is what happens when the stabilizer subgroup is all of G.
88
And then you'll want to know what the automorphisms of one of these homogeneous G sets are.
89
And so if you fix a subgroup H, the automorphisms of G mod H are just isomorphic to the group, the normalizer of H mod H.
90
So that finishes the details of what I wanted to say about the category of G sets.
91
You can read about group actions in most any algebra book.
92
I wanted to pull together all the just the little pieces in a simple way that give you this picture of the category of G sets because this is equivalent to the category of covering spaces where you apply where G is the fundamental group of the base space.
93
And so to really understand the theory of covering spaces you have to understand this category of G sets.
94
That's all for this video.
95
Thanks very much for your attention.
ดาวน์โหลดแอป
ทุกอย่างที่ต้องใช้เพื่อพูดได้คล่อง
AI ให้คะแนนการออกเสียงให้คะแนนทุกประโยค
ฝึก IPAเชี่ยวชาญทุกเสียง
คำศัพท์สร้างคลังคำของคุณ
เกมคำศัพท์เล่นไปเรียนไป
FOR YOU
วิดีโอแนะนำ
C12
91 ประโยค
Linear combinations, span, and basis vectors | Chapter 2, Essence of linear algebra
American AccentCambridge Exam PrepUniversity StudentsWorking Adults
C22
249 ประโยค
Simple Guide to Series Convergence Tests
Cambridge Exam PrepUniversity StudentsWorking Adults
C22
78 ประโยค
Michael Swan: What you can't say without grammar (Part 3/6)
Cambridge Exam PrepUniversity StudentsWorking Adults
C11
23 ประโยค
Black Hole Documentary 2019 - Part 1
Daily ConversationUniversity StudentsWorking Adults
C1101 ประโยค
BGP Overview
Daily ConversationUniversity StudentsWorking Adults
C11
43 ประโยค
What is an Organization? - the Nature of Organizations
Business EnglishUniversity StudentsWorking Adults
B22
122 ประโยค
SET Notations | Mathematics: IGCSE, GCSE & O Level (CIE/CAIE, Edexcel, AQA, OCR)
Cambridge Exam PrepHigh School StudentsUniversity Students
C12
102 ประโยค
Orbital Mechanics - Newton's Laws
TOEFL PrepCambridge Exam PrepUniversity Students
C120
158 ประโยค
Introduction to Cognitive Bias: Crash Course Scientific Thinking #1
IELTS PrepTOEFL PrepCambridge Exam Prep
C13
113 ประโยค
#62 Python Tutorial for Beginners | Generators
Daily ConversationUniversity StudentsWorking Adults
C11
689 ประโยค
Database Sharding! Designing Data-Intensive Applications chapter 6
Daily ConversationUniversity StudentsWorking Adults
C12
236 ประโยค
The 7 Quality Control (QC) Tools Explained with an Example!
Daily ConversationUniversity StudentsWorking Adults
ทำไมต้องฝึกพูดกับวิดีโอนี้?
การฝึกพูดอังกฤษกับวิดีโอ "The category of G-Sets" นั้นให้ประโยชน์หลายอย่าง หนึ่งในนั้นคือการได้ฝึกการออกเสียงและการใช้ภาษาที่ถูกต้องผ่านการฟังและพูดตามเสียงของผู้พูด วิดีโอนี้ช่วยทำให้เราเข้าใจวิธีการพูดที่เกี่ยวข้องกับแนวคิดทางคณิตศาสตร์ที่ซับซ้อนอย่าง "G-sets" ซึ่งต้องใช้ความคิดและการสื่อสารอย่างมีประสิทธิภาพ การฝึกพูดตามหรือ shadowspeak จะช่วยให้คุณสามารถปรับปรุงการออกเสียงภาษาอังกฤษและเรียนรู้คำศัพท์ใหม่ๆ ได้อย่างเป็นธรรมชาติ
ไวยากรณ์และวลีในบริบท
- การกระทำของกลุ่ม (Group Actions): ผู้พูดอธิบายแนวคิดเกี่ยวกับการกระทำของกลุ่มที่มีความสำคัญในคณิตศาสตร์ โดยมีการใช้ประโยค "มันหมายความว่า..." เพื่อเน้นอธิบายเงื่อนไขต่างๆ ซึ่งเป็นตัวอย่างที่ดีในการเรียนรู้การพูดที่เหมาะสมในบริบททางวิทยาศาสตร์
- คลาสและฟังก์ชัน (Objects and Functions): การพูดถึงวัตถุและฟังก์ชันใน G-set ช่วยให้ผู้เรียนเห็นภาพรวมของโครงสร้างประโยคที่ซับซ้อนได้ดีขึ้น ทำให้สามารถนำไปปรับใช้ในความรู้ด้านภาษาอังกฤษได้
- การกระทำเชิงสังคม (Social Actions): ผู้พูดใช้ตัวอย่างที่อธิบายถึงการกระทำแบบขวาซึ่งมีอยู่ในทฤษฎี เพื่อให้ผู้เรียนเข้าใจถึงการใช้ภาษาอังกฤษในบริบทที่หลากหลายตามธรรมชาติ
กับดักการออกเสียงทั่วไป
ในวิดีโอนี้มีบางคำที่อาจทำให้ผู้เรียนรู้สึกท้าทายเมื่อพยายามออกเสียง เช่น คำว่า "stabilizer" และ "orbit" ที่มีจังหวะและเสียงพิเศษ ความยากตรงนี้ทำให้เกิดความจำเป็นในการฝึกเสียงและการออกเสียงให้ถูกต้อง การใช้เทคนิค shadow speech หรือการพูดตามเสียงต้นฉบับจะช่วยให้ผู้เรียนมีโอกาสได้ฝึกปรับปรุงการออกเสียงภาษาอังกฤษอย่างมีประสิทธิภาพ
ด้วยการฟังและพยายามเลียนแบบเสียงและจังหวะที่ผู้พูดใช้ คุณจะสามารถขจัดข้อผิดพลาดและเรียนรู้ที่จะออกเสียงคำเหล่านี้ได้อย่างมั่นใจ
ไวยากรณ์ในวิดีโอนี้
โครงสร้างที่ผู้พูดใช้บ่อยที่สุด พร้อมคำพูดจริงจากวิดีโอ:
| โครงสร้าง | ในวิดีโอ |
|---|---|
| Relative clauses who / which + อนุประโยค — ข้อมูลเพิ่มเติมเกี่ยวกับคนหรือสิ่งของ | element, which is · share, which is · out, which is |
| Passive voice be + กริยาช่อง 3 — เน้นสิ่งที่เกิดขึ้น ไม่ใช่ผู้กระทำ | can be obtained · is just defined · is known |
| Present perfect have/has + กริยาช่อง 3 — เหตุการณ์ในอดีตที่ยังเกี่ยวข้องกับปัจจุบัน | I've written · we've already described |
เทคนิค Shadowing คืออะไร?
Shadowing เป็นเทคนิคการเรียนรู้ภาษาที่ได้รับการรับรองทางวิทยาศาสตร์ พัฒนาขึ้นสำหรับการฝึกนักแปลมืออาชีพ วิธีการนี้เรียบง่ายแต่ทรงพลัง: คุณฟังเสียงภาษาอังกฤษจากเจ้าของภาษาและพูดตามทันที — เหมือนเงาที่ตามผู้พูดด้วยช่วงเวลาห่าง 1-2 วินาที การวิจัยแสดงว่าเทคนิคนี้ปรับปรุงความแม่นยำในการออกเสียง ทำนองเสียง จังหวะ การเชื่อมเสียง การฟังเข้าใจ และความคล่องแคล่วในการพูดได้อย่างมีนัยสำคัญ