Welcome to the second lesson. In our previous session, we journeyed through the history of game theory, from its conceptual origins with Cournot to its formalization by von Neumann and its ultimate generalization by John Nash. A key theme was the power of representing complex, sequential interactions in a simplified, abstract structure—the normal form—by defining a player's complete plan of action as a single "strategy."
Today, we transition from that historical overview to the formal mathematical foundation of modern game theory. This lesson will precisely define the core components of any strategic game: the players, their available strategy sets, and their payoff functions. Mastering this formal language is the essential first step toward analyzing, solving, and applying game-theoretic models to the complex strategic problems you're interested in, from network routing to AI agent interactions.
What Makes a Situation "Strategic"?
Before we dive into the formal definitions, let's clarify what we mean by a "strategic" situation. In essence, it's any scenario where the outcome of your decision depends not only on your own choice but also on the choices of other rational, aware individuals.
The following video provides an excellent introduction to this core idea, contrasting strategic settings with non-strategic ones you might have encountered in classical economics.
1. Introduction: five first lessons
In this clip from a Yale course on game theory, Professor Ben Polak explains the essence of a strategic situation.
Please watch the segment from the beginning of his lecture. Notice how he defines a strategic interaction by what it is not—a monopolist or a firm in perfect competition—before giving a general definition.
This concept of mutual awareness and interdependent outcomes is the central problem that game theory is built to solve. To analyze such problems rigorously, we need to abstract them into a mathematical object.
The Formal Definition of a Strategic Game
The standard model for a static, simultaneous-move game is called a strategic form game. Given your background in applied mathematics, you'll find the formal definition to be a familiar way of structuring a problem. A strategic form game is defined as a triplet.
[PDF] Strategic Form Games and Nash Equilibrium - Asu Ozdaglar
This document by Prof. Asuman Ozdaglar of MIT provides a concise, formal definition of a strategic form game.
In Section 2, "Strategic Form Games," please read the formal definition, which begins with Definition 1. Pay close attention to the three components of the triplet: the set of players I, the collection of strategy sets S_i, and the collection of utility functions u_i. Also note the crucial definition of a strategy profile s.
Let's break down each of these three components.
1. Players ( or )
This is the most straightforward component: the set of decision-makers in the game. We typically denote the set of players by , where is the total number of players.
2. Strategy Sets ()
For each player , there is a non-empty set of available actions or strategies. A strategy is a complete plan of action for player . In the static games we're considering now, a strategy is simply a single action chosen from the set of possibilities. As we'll see later in the course when we discuss sequential games, the concept of a "strategy" can become more complex, encompassing a plan for how to act in every possible contingency.
A strategy profile, denoted , is a tuple specifying one strategy for each of the players. It represents one possible outcome of the game. The set of all possible strategy profiles is the Cartesian product of the individual strategy sets: .
The following video segment illustrates these ideas with a practical example called the "grade game."
1. Introduction: five first lessons
Professor Polak now introduces a game played in his class. As he explains the rules and structures the game, observe how he implicitly defines the players and their strategy sets.
Watch the segment from where he introduces the game. In this setup: The set of players is \{\text{me, my pair}\}, so n=2. The strategy set for each player is the same: S_{\text{me}} = S_{\text{my pair}} = \{\text{Alpha, Beta}\}. He constructs a matrix where the rows represent the strategies of one player and the columns represent the strategies of the other. Each cell in the matrix corresponds to a unique strategy profile, such as (Alpha, Beta).
Strategy sets can be finite, like or , or they can be infinite. For example, in a price-setting game, a firm's strategy set could be any non-negative real number, . We will explore such games when we analyze Cournot and Bertrand competition models.
3. Payoff Functions ()
For each player , the payoff function assigns a numerical value (a utility) to every possible strategy profile . This number represents the desirability of that outcome for player .
This is a critical point: a player's payoff depends not only on their own strategy but on the entire strategy profile—that is, on the combination of choices made by all players. The core assumption of rational choice is that each player will choose their strategy to maximize their own payoff , given their beliefs about the strategies of the other players.
The concept of a payoff function is what breathes life into the game. Two games with identical players and strategy sets can be completely different if their payoff functions vary. The next video segments demonstrate this powerfully.
1. Introduction: five first lessons
Here, Professor Polak transforms the "grade game" by assigning numerical payoffs to the outcomes and then shows how changing those payoffs fundamentally alters the strategic situation.
First, watch how he assigns numerical utilities to the letter grades, formally defining the payoff functions for players who only care about their own grade. Next, watch the crucial example of the "indignant angels." The players and strategies are identical, but the payoffs now incorporate feelings of guilt and indignation. Notice how this completely changes the reasoning and the likely outcome of the game.
This illustrates that to define a game, it is not enough to know who is playing and what they can do. We must also know what they want, which is precisely what the payoff functions describe.
An Example: Matching Pennies
Let's solidify these concepts by formally defining a classic game, "Matching Pennies," using the notation we've established.
Strategic Form Games - Game Theory
This excerpt from lecture notes by Prof. Y. Narahari provides numerous examples of strategic form games. We will look at the first one.
Please read the first part of the section "Matching Pennies with Simultaneous Moves". As you read, explicitly identify the three core components: Players: N Strategy Sets: S_1 and S_2 Payoff Functions: u_1 and u_2, as represented by the payoff matrix.
In this example:
- Players:
- Strategy Sets:
- Payoff Functions: These are defined by the matrix. For example, and . The matrix is simply a convenient way to represent the output of the payoff functions for all four possible strategy profiles.
For a handy reference, the document you just read contains a useful summary table of the standard notation used in strategic form games.
Strategic Form Games - Game Theory
This table provides a quick reference for the mathematical notation we will use throughout the course.
At the very end of the document, review Table 1: Notation for strategic form games. Having this notation at your fingertips will be valuable as we move forward.
Conclusion
In this lesson, we have established the formal foundation for analyzing strategic games. We moved from an intuitive understanding of a "strategic situation" to a precise mathematical definition.
The key takeaways are:
- A strategic form game is formally defined by three components: a set of players (), a collection of strategy sets (), and a collection of payoff functions ().
- A strategy () is a complete plan of action for a player. A strategy profile () specifies a strategy for every player and corresponds to a unique outcome.
- The payoff function () is crucial. It assigns a numerical utility to each outcome for each player and defines the players' objectives. Changing the payoffs, even when actions and outcomes remain the same, creates an entirely new game.
With this formal structure in place, we are now ready to focus on the primary tool for representing and analyzing these games. In the next lesson, we will delve deeper into the normal form representation, learning how to construct and interpret the payoff matrices for games with any number of players and strategies.